The cat needs the cow. The cow does not need the cat. The cow visits the cat. If something visits the cat then the cat is not big. If something visits the cat and it likes the cat then the cat does not like the cow. If something likes the cat and the cat is big then the cat likes the cow. If something is young then it needs the cow. If something needs the cow then it does not like the cat. If something needs the cow then it does not like the cat. If something needs the cow and it is not big then it needs the cat. If something needs the cat then it visits the cow.
The cat needs the cat.
@0: The cat needs the cow.[(triple1)] The cow does not need the cat.[(triple2)] The cow visits the cat.[(triple3)] @1: The cat does not like the cat.[(((triple1) -> rule5) OR ((triple1) -> rule6))] The cat is not big.[(((triple3) -> rule1))] @2: The cat needs the cat.[(((triple1 ((triple3) -> rule1)) -> rule7))] @3: The cat visits the cow.[(((((triple1 ((triple3) -> rule1)) -> rule7)) -> rule8))]