The cat is cold. The cat sees the squirrel. The dog is cold. The dog needs the squirrel. The mouse needs the dog. The mouse sees the dog. The squirrel sees the mouse. If someone is cold and they do not chase the squirrel then they see the squirrel. If someone is cold and they see the dog then they do not see the mouse. If someone sees the dog then they are cold. If someone sees the mouse and they do not need the mouse then they are big. If someone needs the dog then they chase the cat. If someone needs the mouse and they are not cold then they do not need the cat.
The squirrel needs the dog.
@0: The cat is cold.[(triple1)] The cat sees the squirrel.[(triple2)] The dog is cold.[(triple3)] The dog needs the squirrel.[(triple4)] The mouse needs the dog.[(triple5)] The mouse sees the dog.[(triple6)] The squirrel sees the mouse.[(triple7)] @1: The mouse chases the cat.[(((triple5) -> rule5))] The mouse is cold.[(((triple6) -> rule3))] @2: The mouse does not see the mouse.[(((((triple6) -> rule3) triple6) -> rule2))]