The cat eats the dog. The dog chases the cat. The mouse eats the squirrel. The squirrel is kind. If someone is kind and they chase the mouse then they are cold. If someone eats the cat then they eat the dog. If someone eats the squirrel and the squirrel is blue then the squirrel eats the cat. If someone chases the squirrel then the squirrel sees the dog. If someone is cold then they chase the mouse. If someone is kind then they are blue.
The mouse is not cold.
@0: The cat eats the dog.[(triple1)] The dog chases the cat.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel is kind.[(triple4)] @1: The squirrel is blue.[(((triple4) -> rule6))] @2: The squirrel eats the cat.[(((triple3 ((triple4) -> rule6)) -> rule3))] @3: The squirrel eats the dog.[(((((triple3 ((triple4) -> rule6)) -> rule3)) -> rule2))]