The cow visits the squirrel. The squirrel is young. The tiger likes the cow. If something visits the cow and the cow visits the squirrel then it is not green. If something visits the cow and it visits the squirrel then the squirrel is red. If the cow is not young then the cow chases the tiger. If something visits the squirrel and the squirrel is not young then it does not like the tiger. If something chases the cow then the cow visits the squirrel. If something visits the squirrel then it visits the cow. If something is red then it chases the squirrel. If the cow does not chase the tiger then the cow likes the squirrel.
The cow chases the tiger.
@0: The cow visits the squirrel.[(triple1)] The squirrel is young.[(triple2)] The tiger likes the cow.[(triple3)] @1: The cow visits the cow.[(((triple1) -> rule6))] @2: The cow is not green.[(((((triple1) -> rule6) triple1) -> rule1))] The squirrel is red.[(((((triple1) -> rule6) triple1) -> rule2))] @3: The squirrel chases the squirrel.[(((((((triple1) -> rule6) triple1) -> rule2)) -> rule7))]