The cat eats the dog. The dog sees the squirrel. The mouse is green. The squirrel is big. If the dog is cold then the dog eats the cat. If someone is big then they do not see the mouse. If someone eats the dog and they are big then they eat the cat. If someone eats the cat then they do not need the cat. If the mouse is red then the mouse does not eat the squirrel. If someone eats the mouse then they are not red.
The squirrel does not see the mouse.
@0: The cat eats the dog.[(triple1)] The dog sees the squirrel.[(triple2)] The mouse is green.[(triple3)] The squirrel is big.[(triple4)] @1: The squirrel does not see the mouse.[(((triple4) -> rule2))]