The mouse needs the rabbit. The mouse needs the tiger. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit needs the mouse. The rabbit needs the tiger. The tiger does not chase the mouse. If something needs the tiger then it chases the rabbit. If something chases the rabbit then the rabbit is big. If the mouse is nice and the mouse needs the tiger then the tiger needs the mouse. If something likes the mouse then it chases the tiger. If something likes the rabbit and the rabbit likes the tiger then it is red. If something is green then it chases the mouse.
The mouse chases the rabbit.
@0: The mouse needs the rabbit.[(triple1)] The mouse needs the tiger.[(triple2)] The rabbit chases the mouse.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit needs the mouse.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger does not chase the mouse.[(triple7)] @1: The mouse chases the rabbit.[(((triple2) -> rule1))] The rabbit chases the rabbit.[(((triple6) -> rule1))] @2: The rabbit is big.[(((((triple2) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]