mag(fukcjusz).
mag(gandalf).
mag(sebastian).
mag(danubia).
mag(ikozy).
mag(kan).
mag(lopi).
mag(ang).

wojownik(esteban).
wojownik(klosz).
wojownik(wieszak).
wojownik(paul).
wojownik(veziv).
wojownik(kolos).
wojownik(diter).
wojownik(pasgo).

doswiadczony(gandalf).
doswiadczony(danubia).
doswiadczony(esteban).
doswiadczony(paul).
doswiadczony(pasgo).

oszalaly(paul).
oszalaly(veziv).
oszalaly(kolos).
oszalaly(diter).
oszalaly(pasgo).

silniejszy_od(gandalf, fukcjusz).
silniejszy_od(gandalf, sebastian).
silniejszy_od(gandalf, ikozy).
silniejszy_od(gandalf, esteban).
silniejszy_od(gandalf, klosz).
silniejszy_od(gandalf, wieszak).
silniejszy_od(gandalf, veziv).
silniejszy_od(fukcjusz, klosz).
silniejszy_od(fukcjusz, wieszak).
silniejszy_od(sebastian, klosz).
silniejszy_od(sebastian, wieszak).
silniejszy_od(ikozy, klosz).
silniejszy_od(ikozy, wieszak).
silniejszy_od(danubia, fukcjusz).
silniejszy_od(danubia, sebastian).
silniejszy_od(danubia, ikozy).
silniejszy_od(danubia, esteban).
silniejszy_od(danubia, klosz).
silniejszy_od(danubia, wieszak).
silniejszy_od(danubia, veziv).
silniejszy_od(esteban, fukcjusz).
silniejszy_od(esteban, sebastian).
silniejszy_od(esteban, ikozy).
silniejszy_od(esteban, klosz).
silniejszy_od(esteban, wieszak).
silniejszy_od(paul, fukcjusz).
silniejszy_od(paul, sebastian).
silniejszy_od(paul, ikozy).
silniejszy_od(paul, klosz).
silniejszy_od(paul, wieszak).
silniejszy_od(veziv, klosz).
silniejszy_od(veziv, wieszak).


wojownik_oszalaly(A) <- wojownik(A) & oszalaly(A).
doswiadczony_oszalaly_silniejszy_od(A, B) <- doswiadczony(A) & oszalaly(A) & silniejszy_od(A, B) & A \= B.
wojownik_silniejszy_od_maga_doswiadczony(A) <- wojownik(A) & mag(B) & ~doswiadczony(B) & doswiadczony(A) & silniejszy_od(A, B) & A \= B.
mag_silniejszy_od_wojownika(A) <- mag(A)  & wojownik(B) & silniejszy_od(A, B) & A \= B.
mag_doswiadczony_silniejszy_od_wojownik_doswiadczony(A) <- mag(A) & doswiadczony(A) & wojownik(B) & doswiadczony(B) & ~oszalaly(B) & silniejszy_od(A,B) & A \= B.

wojownik_doswiadczony_slabszy_od_mag_doswiadczony_nieoszalaly(A) <- mag_doswiadczony_silniejszy_od_wojownik_doswiadczony(B) & ~oszalaly(A).
mag_silniejszy_od_wojownik_oszalaly_doswiadczony(A) <- mag_silniejszy_od_wojownika(A) & doswiadczony(A) & oszalaly(B).
wojownik_oszalaly_silniejszy_od_mag(A) <- wojownik_oszalaly(A) & mag(B) & ~doswiadczony(B) & silniejszy_od(A, B) & A \= B.