The mouse sees the rabbit. The rabbit chases the mouse. The rabbit sees the mouse. If someone sees the mouse then the mouse is round. If someone chases the mouse and they chase the rabbit then they need the mouse. If someone needs the mouse then the mouse sees the rabbit. If someone chases the mouse and they need the rabbit then the mouse sees the rabbit. If someone sees the rabbit and the rabbit chases the mouse then the rabbit needs the mouse. If someone sees the mouse and the mouse needs the rabbit then the rabbit is young. If someone is round then they chase the mouse. If someone needs the mouse then the mouse needs the rabbit.
The rabbit does not need the mouse.
@0: The mouse sees the rabbit.[(triple1)] The rabbit chases the mouse.[(triple2)] The rabbit sees the mouse.[(triple3)] @1: The mouse is round.[(((triple3) -> rule1))] The rabbit needs the mouse.[(((triple1 triple2) -> rule5))] @2: The mouse chases the mouse.[(((((triple3) -> rule1)) -> rule7))] The mouse needs the rabbit.[(((((triple1 triple2) -> rule5)) -> rule8))] @3: The rabbit is young.[(((triple3 ((((triple1 triple2) -> rule5)) -> rule8)) -> rule6))]