The cat sees the dog. The dog needs the cat. The dog needs the mouse. The dog sees the mouse. The mouse eats the cat. The mouse is young. The tiger eats the mouse. The tiger is red. The tiger needs the mouse. The tiger sees the cat. If someone eats the tiger then they eat the dog. If the cat eats the mouse then the mouse needs the tiger. If the tiger needs the dog then the tiger eats the mouse. If someone is rough then they need the mouse. If someone eats the mouse then they eat the tiger. If the cat needs the dog then the cat is rough. If someone sees the tiger then the tiger eats the cat. If someone sees the dog and the dog needs the tiger then the tiger is red.
The dog sees the mouse.
@0: The cat sees the dog.[(triple1)] The dog needs the cat.[(triple2)] The dog needs the mouse.[(triple3)] The dog sees the mouse.[(triple4)] The mouse eats the cat.[(triple5)] The mouse is young.[(triple6)] The tiger eats the mouse.[(triple7)] The tiger is red.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the cat.[(triple10)] @1: The tiger eats the tiger.[(((triple7) -> rule5))] @2: The tiger eats the dog.[(((((triple7) -> rule5)) -> rule1))]