Question

[proszę nie odpowiadać jeśli ktoś nie wie, będę zgłaszał takie odpowiedzi..]
Bill i Mark lubią baseball. Bill lubi grę wtedy, gdy grę lubią jego przyjaciele: Mark i Tom.
Czy Tom lubi baseball ? Przeprowadzić wnioskowanie rezolucyjne.

Mam problem z tym przykładem, tj. nie mogę dojść do sprzeczności robiąc to tą metodą. Napiszę co próbowałem:

predykaty:


przekształcam predykaty żeby były klauzulami z samymi dysjunkcjami itp.:


no i jak zacznie się tworzyć z tego nowe przesłanki to nie wychodzi 0 ani nic sensownego.

przesłanki:

unifikator:

rezolwenta:

I nie wiem co mam dalej począć.
Ktoś coś widzi/podpowie?