>>7
likes(X, sepples) -> hates(X, java) && hates(X, lisp)
likes(X, java) -> hates(X, sepples) && hates(X, lisp)
likes(X, lisp) -> hates(X, sepples) && hates(X, java)
likes(X, Y) && insults(Z, X) -> hates(Z, Y)
not(likes(X, Y)) -> hates(X, Y)
likes(
>>4, seeples) && insults(
>>6, >>4) && likes(
>>5, java) && insults(
>>6, >>5)
hates(
>>6, seeples) && hates(
>>6, java)
hates(
>>6, seeples) && hates(
>>6, java)
hates(
>>6, seeples) && hates(
>>6, java)
hates(
>>6, seeples) && hates(
>>6, java)
hates(
>>6, seeples) && hates(
>>6, java)
...
error: cannot derive goal: likes(
>>6, lisp)