The mouse chases the rabbit. The rabbit is nice. If someone is nice then they are rough. If someone is nice then they eat the rabbit. If the mouse chases the rabbit then the rabbit needs the mouse. If someone is rough then they eat the mouse. If the rabbit eats the mouse then the mouse does not need the rabbit. If someone needs the rabbit and they eat the mouse then they are blue. If the mouse eats the rabbit then the rabbit eats the mouse. If the rabbit does not need the mouse and the rabbit does not chase the mouse then the rabbit does not eat the mouse.
The rabbit eats the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The rabbit is nice.[(triple2)] @1: The rabbit eats the rabbit.[(((triple2) -> rule2))] The rabbit is rough.[(((triple2) -> rule1))] The rabbit needs the mouse.[(((triple1) -> rule3))] @2: The rabbit eats the mouse.[(((((triple2) -> rule1)) -> rule4))] @3: The mouse does not need the rabbit.[(((((((triple2) -> rule1)) -> rule4)) -> rule5))]