1.  
2. mag(fukcjusz).
3. mag(gandalf).
4. mag(sebastian).
5. mag(danubia).
6. mag(ikozy).
7. mag(kan).
8. mag(lopi).
9. mag(ang).
10.  
11. wojownik(esteban).
12. wojownik(klosz).
13. wojownik(wieszak).
14. wojownik(paul).
15. wojownik(veziv).
16. wojownik(kolos).
17. wojownik(diter).
18. wojownik(pasgo).
19.  
20. doswiadczony(gandalf).
21. doswiadczony(danubia).
22. doswiadczony(esteban).
23. doswiadczony(paul).
24. doswiadczony(pasgo).
25.  
26. oszalaly(paul).
27. oszalaly(veziv).
28. oszalaly(kolos).
29. oszalaly(diter).
30. oszalaly(pasgo).
31.  
32. silniejszy_od(gandalf, fukcjusz).
33. silniejszy_od(gandalf, sebastian).
34. silniejszy_od(gandalf, ikozy).
35. silniejszy_od(gandalf, esteban).
36. silniejszy_od(gandalf, klosz).
37. silniejszy_od(gandalf, wieszak).
38. silniejszy_od(gandalf, veziv).
39. silniejszy_od(fukcjusz, klosz).
40. silniejszy_od(fukcjusz, wieszak).
41. silniejszy_od(sebastian, klosz).
42. silniejszy_od(sebastian, wieszak).
43. silniejszy_od(ikozy, klosz).
44. silniejszy_od(ikozy, wieszak).
45. silniejszy_od(danubia, fukcjusz).
46. silniejszy_od(danubia, sebastian).
47. silniejszy_od(danubia, ikozy).
48. silniejszy_od(danubia, esteban).
49. silniejszy_od(danubia, klosz).
50. silniejszy_od(danubia, wieszak).
51. silniejszy_od(danubia, veziv).
52. silniejszy_od(esteban, fukcjusz).
53. silniejszy_od(esteban, sebastian).
54. silniejszy_od(esteban, ikozy).
55. silniejszy_od(esteban, klosz).
56. silniejszy_od(esteban, wieszak).
57. silniejszy_od(paul, fukcjusz).
58. silniejszy_od(paul, sebastian).
59. silniejszy_od(paul, ikozy).
60. silniejszy_od(paul, klosz).
61. silniejszy_od(paul, wieszak).
62. silniejszy_od(veziv, klosz).
63. silniejszy_od(veziv, wieszak).
64.  
65.  
66. wojownik_oszalaly(A) <- wojownik(A) & oszalaly(A).
67. doswiadczony_oszalaly_silniejszy_od(A, B) <- doswiadczony(A) & oszalaly(A) & silniejszy_od(A, B) & A \= B.
68. wojownik_silniejszy_od_maga_doswiadczony(A) <- wojownik(A) & mag(B) & ~doswiadczony(B) & doswiadczony(A) & silniejszy_od(A, B) & A \= B.
69. mag_silniejszy_od_wojownika(A) <- mag(A)  & wojownik(B) & silniejszy_od(A, B) & A \= B.
70. mag_doswiadczony_silniejszy_od_wojownik_doswiadczony(A) <- mag(A) & doswiadczony(A) & wojownik(B) & doswiadczony(B) & ~oszalaly(B) & silniejszy_od(A,B) & A \= B.
71.  
72. wojownik_doswiadczony_slabszy_od_mag_doswiadczony_nieoszalaly(A) <- mag_doswiadczony_silniejszy_od_wojownik_doswiadczony(B) & ~oszalaly(A).
73. mag_silniejszy_od_wojownik_oszalaly_doswiadczony(A) <- mag_silniejszy_od_wojownika(A) & doswiadczony(A) & oszalaly(B).
74. wojownik_oszalaly_silniejszy_od_mag(A) <- wojownik_oszalaly(A) & mag(B) & ~doswiadczony(B) & silniejszy_od(A, B) & A \= B.
75.