The dog chases the mouse. The dog does not eat the mouse. The dog is cold. The dog is red. The dog sees the mouse. The mouse is young. The mouse does not see the dog. If someone chases the dog then the dog is red. If someone is young then they eat the mouse. If someone eats the mouse then they see the mouse.
The mouse does not chase the mouse.
@0: The dog chases the mouse.[(triple1)] The dog does not eat the mouse.[(triple2)] The dog is cold.[(triple3)] The dog is red.[(triple4)] The dog sees the mouse.[(triple5)] The mouse does not see the dog.[(triple7)] The mouse is young.[(triple6)] @1: The mouse eats the mouse.[(((triple6) -> rule2))] @2: The mouse sees the mouse.[(((((triple6) -> rule2)) -> rule3))]