The cow likes the squirrel. The squirrel sees the cow. If someone sees the cow then they are not nice. If someone is blue then they are nice. If someone likes the squirrel then the squirrel does not like the cow. If the squirrel sees the cow then the cow is green. If the cow likes the squirrel and the squirrel does not like the cow then the squirrel is cold. If someone sees the cow and they do not like the cow then the cow sees the squirrel. If someone sees the squirrel then the squirrel eats the cow. If the cow likes the squirrel and the cow is not nice then the squirrel eats the cow.
The cow sees the squirrel.
@0: The cow likes the squirrel.[(triple1)] The squirrel sees the cow.[(triple2)] @1: The cow is green.[(((triple2) -> rule4))] The squirrel does not like the cow.[(((triple1) -> rule3))] The squirrel is not nice.[(((triple2) -> rule1))] @2: The cow sees the squirrel.[(((triple2 ((triple1) -> rule3)) -> rule6))] The squirrel is cold.[(((triple1 ((triple1) -> rule3)) -> rule5))] @3: The squirrel eats the cow.[(((((triple2 ((triple1) -> rule3)) -> rule6)) -> rule7))]