The cat sees the mouse. The cat visits the squirrel. The dog eats the squirrel. The dog is not nice. The mouse eats the squirrel. The mouse is kind. The squirrel is kind. If something eats the squirrel then it is cold. If something is nice then it does not visit the squirrel.
The cat eats the cat.
@0: The cat sees the mouse.[(triple1)] The cat visits the squirrel.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is not nice.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is kind.[(triple6)] The squirrel is kind.[(triple7)] @1: The dog is cold.[(((triple3) -> rule1))] The mouse is cold.[(((triple5) -> rule1))]