The cow is round. The dog needs the cow. The squirrel needs the tiger. The tiger needs the squirrel. If the cow is cold then the cow visits the dog. If something needs the tiger and the tiger needs the cow then the tiger is not young. If something visits the squirrel then it does not see the dog. If something needs the squirrel then it visits the squirrel. If the dog is green then the dog sees the squirrel. Round, cold things are not young. If something is red then it does not need the dog. If something needs the squirrel then the squirrel sees the cow.
The cow does not visit the dog.
@0: The cow is round.[(triple1)] The dog needs the cow.[(triple2)] The squirrel needs the tiger.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The squirrel sees the cow.[(((triple4) -> rule8))] The tiger visits the squirrel.[(((triple4) -> rule4))] @2: The tiger does not see the dog.[(((((triple4) -> rule4)) -> rule3))]