The cat is cold. The dog likes the squirrel. The mouse chases the squirrel. The squirrel is rough. If someone likes the cat and they like the mouse then they chase the mouse. If someone is cold then they do not chase the squirrel. If the cat eats the mouse then the mouse does not like the cat. If the mouse is rough and the mouse is not big then the mouse eats the cat. If someone eats the cat then the cat chases the dog. If the mouse does not chase the dog then the dog eats the mouse.
The cat is not cold.
@0: The cat is cold.[(triple1)] The dog likes the squirrel.[(triple2)] The mouse chases the squirrel.[(triple3)] The squirrel is rough.[(triple4)] @1: The cat does not chase the squirrel.[(((triple1) -> rule2))]