The cat eats the squirrel. The dog likes the mouse. The mouse eats the dog. The mouse likes the cat. The squirrel eats the mouse. The squirrel is nice. The squirrel likes the dog. If someone sees the squirrel then they eat the squirrel. If someone is young and they eat the dog then the dog eats the squirrel. If the dog likes the cat then the dog likes the mouse. If someone is young and they eat the mouse then the mouse is cold. If someone eats the dog and they like the cat then they see the squirrel. If someone is blue and they see the mouse then they see the squirrel.
The squirrel is not cold.
@0: The cat eats the squirrel.[(triple1)] The dog likes the mouse.[(triple2)] The mouse eats the dog.[(triple3)] The mouse likes the cat.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The mouse sees the squirrel.[(((triple3 triple4) -> rule5))] @2: The mouse eats the squirrel.[(((((triple3 triple4) -> rule5)) -> rule1))]