The cat visits the rabbit. The mouse chases the rabbit. The mouse eats the tiger. The mouse is young. The mouse visits the cat. The rabbit chases the tiger. The rabbit is cold. The rabbit is nice. The tiger eats the rabbit. The tiger visits the rabbit. If someone eats the mouse then the mouse visits the tiger. If someone is nice then they eat the mouse. If the rabbit is red and the rabbit chases the mouse then the mouse visits the tiger.
The rabbit eats the mouse.
@0: The cat visits the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The mouse eats the tiger.[(triple3)] The mouse is young.[(triple4)] The mouse visits the cat.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is nice.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit eats the mouse.[(((triple8) -> rule2))] @2: The mouse visits the tiger.[(((((triple8) -> rule2)) -> rule1))]