The cat eats the mouse. The cat is young. The cat does not see the mouse. The cat visits the mouse. The lion eats the mouse. The lion sees the cat. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse is not red. The mouse does not see the lion. If something visits the cat and it sees the cat then the cat visits the lion. If something is nice and it sees the cat then the cat does not see the mouse. If something eats the mouse then it visits the cat.
The lion eats the mouse.
@0: The cat does not see the mouse.[(triple3)] The cat eats the mouse.[(triple1)] The cat is young.[(triple2)] The cat visits the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The lion sees the cat.[(triple6)] The lion sees the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse does not see the lion.[(triple12)] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse is not red.[(triple11)] @1: The cat visits the cat.[(((triple1) -> rule3))] The lion visits the cat.[(((triple5) -> rule3))] @2: The cat visits the lion.[(((((triple5) -> rule3) triple6) -> rule1))]