The cat visits the squirrel. The cow is red. The squirrel visits the cat. If something needs the cat then the cat chases the squirrel. If something is round and it visits the cow then it is big. If something visits the squirrel then it visits the cow. If something visits the cow then the cow is rough. If something visits the cat and the cat visits the squirrel then the cat is red. If something visits the cow and the cow needs the cat then the cat chases the squirrel. If something is rough then it needs the squirrel. If something is rough then it visits the cow.
The cat chases the squirrel.
@0: The cat visits the squirrel.[(triple1)] The cow is red.[(triple2)] The squirrel visits the cat.[(triple3)] @1: The cat is red.[(((triple3 triple1) -> rule5))] The cat visits the cow.[(((triple1) -> rule3))] @2: The cow is rough.[(((((triple1) -> rule3)) -> rule4))] @3: The cow needs the squirrel.[(((((((triple1) -> rule3)) -> rule4)) -> rule7))] The cow visits the cow.[(((((((triple1) -> rule3)) -> rule4)) -> rule8))]