The cat chases the squirrel. The squirrel visits the cat. The tiger is cold. If something visits the squirrel and the squirrel visits the cat then the squirrel chases the tiger. If something visits the cat and it chases the cat then the cat is round. If something is young and it chases the cat then the cat eats the squirrel. If something is cold and it eats the tiger then it chases the tiger. If the cat chases the squirrel then the squirrel eats the cat. If something visits the tiger and the tiger is cold then it eats the squirrel. If something chases the squirrel then it visits the tiger. If something chases the cat and it is green then it visits the squirrel.
The tiger does not visit the tiger.
@0: The cat chases the squirrel.[(triple1)] The squirrel visits the cat.[(triple2)] The tiger is cold.[(triple3)] @1: The cat visits the tiger.[(((triple1) -> rule7))] The squirrel eats the cat.[(((triple1) -> rule5))] @2: The cat eats the squirrel.[(((((triple1) -> rule7) triple3) -> rule6))]