The cow is young. The mouse eats the rabbit. The rabbit needs the mouse. The tiger eats the cow. If something eats the mouse then the mouse needs the rabbit. If something eats the cow then the cow eats the mouse. If something needs the rabbit then the rabbit visits the cow. If something eats the rabbit then the rabbit visits the tiger. If something eats the cow and it needs the tiger then the tiger needs the cow. If the cow visits the rabbit and the rabbit is rough then the cow is red.
The mouse needs the rabbit.
@0: The cow is young.[(triple1)] The mouse eats the rabbit.[(triple2)] The rabbit needs the mouse.[(triple3)] The tiger eats the cow.[(triple4)] @1: The cow eats the mouse.[(((triple4) -> rule2))] The rabbit visits the tiger.[(((triple2) -> rule4))] @2: The mouse needs the rabbit.[(((((triple4) -> rule2)) -> rule1))] @3: The rabbit visits the cow.[(((((((triple4) -> rule2)) -> rule1)) -> rule3))]