The cow eats the tiger. The squirrel is blue. The tiger visits the cow. If something is nice then it eats the tiger. If the squirrel sees the tiger and the tiger eats the cow then the squirrel visits the cow. If something visits the cow then the cow does not visit the squirrel. All cold things are nice. If something visits the tiger and the tiger visits the cow then the tiger does not see the cow. If something visits the cow and the cow does not visit the squirrel then it visits the tiger.
The tiger is cold.
@0: The cow eats the tiger.[(triple1)] The squirrel is blue.[(triple2)] The tiger visits the cow.[(triple3)] @1: The cow does not visit the squirrel.[(((triple3) -> rule3))] @2: The tiger visits the tiger.[(((triple3 ((triple3) -> rule3)) -> rule6))] @3: The tiger does not see the cow.[(((((triple3 ((triple3) -> rule3)) -> rule6) triple3) -> rule5))]