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