The cat eats the dog. The dog is red. The mouse is red. The rabbit is cold. If someone sees the dog and they are cold then the dog sees the cat. If the cat likes the mouse and the cat does not eat the dog then the mouse is young. If someone eats the dog then the dog likes the mouse. If someone eats the dog and they do not see the mouse then they eat the mouse. If someone sees the rabbit then the rabbit is cold. If someone likes the rabbit and they are not cold then the rabbit likes the dog.
The dog is not red.
@0: The cat eats the dog.[(triple1)] The dog is red.[(triple2)] The mouse is red.[(triple3)] The rabbit is cold.[(triple4)] @1: The dog likes the mouse.[(((triple1) -> rule3))]