The cat does not eat the dog. The cat sees the dog. The dog eats the cat. The dog does not like the lion. The lion likes the mouse. The lion sees the cat. The mouse is cold. If something sees the mouse then the mouse does not like the lion. If something sees the lion then the lion likes the dog. If something sees the cat then it sees the dog. If something is big then it eats the cat. If something likes the lion and the lion eats the mouse then the mouse eats the cat. If something eats the mouse then the mouse likes the cat.
The dog eats the cat.
@0: The cat does not eat the dog.[(triple1)] The cat sees the dog.[(triple2)] The dog does not like the lion.[(triple4)] The dog eats the cat.[(triple3)] The lion likes the mouse.[(triple5)] The lion sees the cat.[(triple6)] The mouse is cold.[(triple7)] @1: The lion sees the dog.[(((triple6) -> rule3))]