The dog eats the squirrel. The dog is not rough. The mouse chases the dog. The mouse eats the squirrel. The mouse is not cold. The mouse is rough. The squirrel eats the dog. The squirrel does not eat the mouse. The squirrel does not like the dog. The squirrel likes the mouse. If something eats the dog and the dog likes the mouse then the mouse eats the dog. If the mouse likes the dog then the mouse is rough. If something eats the mouse and it eats the squirrel then it chases the squirrel. If something is rough then it chases the squirrel. If something eats the squirrel and it eats the mouse then it likes the mouse. If the mouse chases the dog then the dog eats the mouse.
The squirrel is cold.
@0: The dog eats the squirrel.[(triple1)] The dog is not rough.[(triple2)] The mouse chases the dog.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is not cold.[(triple5)] The mouse is rough.[(triple6)] The squirrel does not eat the mouse.[(triple8)] The squirrel does not like the dog.[(triple9)] The squirrel eats the dog.[(triple7)] The squirrel likes the mouse.[(triple10)] @1: The dog eats the mouse.[(((triple3) -> rule6))] The mouse chases the squirrel.[(((triple6) -> rule4))] @2: The dog chases the squirrel.[(((((triple3) -> rule6) triple1) -> rule3))] The dog likes the mouse.[(((triple1 ((triple3) -> rule6)) -> rule5))] @3: The mouse eats the dog.[(((triple7 ((triple1 ((triple3) -> rule6)) -> rule5)) -> rule1))]