The cat is not cold. The cat needs the squirrel. The dog eats the squirrel. The mouse does not eat the cat. The mouse is young. The squirrel does not eat the dog. The squirrel is cold. If the cat is red and the cat is rough then the cat does not chase the dog. If someone eats the mouse then they need the mouse. If the dog eats the squirrel then the dog eats the mouse. If someone needs the squirrel then they do not need the cat. If someone is rough and they eat the squirrel then the squirrel needs the mouse. If someone eats the squirrel and they need the mouse then the mouse needs the cat.
The dog does not eat the dog.
@0: The cat is not cold.[(triple1)] The cat needs the squirrel.[(triple2)] The dog eats the squirrel.[(triple3)] The mouse does not eat the cat.[(triple4)] The mouse is young.[(triple5)] The squirrel does not eat the dog.[(triple6)] The squirrel is cold.[(triple7)] @1: The cat does not need the cat.[(((triple2) -> rule4))] The dog eats the mouse.[(((triple3) -> rule3))] @2: The dog needs the mouse.[(((((triple3) -> rule3)) -> rule2))] @3: The mouse needs the cat.[(((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule6))]