The cow visits the squirrel. The squirrel is cold. The squirrel sees the cow. If something visits the squirrel then the squirrel chases the cow. If something sees the squirrel then it visits the cow. If something is cold and it visits the cow then the cow visits the squirrel. If the squirrel is cold and the squirrel sees the cow then the squirrel visits the cow. If the squirrel visits the cow and the squirrel is red then the squirrel chases the cow. If something sees the squirrel then the squirrel chases the cow. If the squirrel visits the cow then the cow is red. If the squirrel is red then the squirrel is nice.
The cow is cold.
@0: The cow visits the squirrel.[(triple1 OR ((triple2 ((triple2 triple3) -> rule4)) -> rule3))] The squirrel is cold.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The squirrel chases the cow.[(((triple1) -> rule1) OR ((((triple2 ((triple2 triple3) -> rule4)) -> rule3)) -> rule1))] The squirrel visits the cow.[(((triple2 triple3) -> rule4))] @2: The cow is red.[(((((triple2 triple3) -> rule4)) -> rule7))]