The mouse eats the rabbit. The mouse needs the rabbit. The rabbit eats the mouse. If someone sees the mouse then they eat the rabbit. If someone sees the rabbit and the rabbit sees the mouse then the rabbit eats the mouse. If someone sees the rabbit and the rabbit is rough then they need the rabbit. If someone needs the mouse and they eat the rabbit then the mouse sees the rabbit. If someone eats the rabbit then they eat the mouse. If someone needs the rabbit then the rabbit eats the mouse. If someone is round and they need the rabbit then the rabbit sees the mouse. If someone eats the mouse then they see the mouse.
The mouse does not eat the rabbit.
@0: The mouse eats the rabbit.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit eats the mouse.[(triple3 OR ((triple2) -> rule6))] @1: The mouse eats the mouse.[(((triple1) -> rule5))] The rabbit sees the mouse.[(((triple3) -> rule8) OR ((((triple2) -> rule6)) -> rule8))] @2: The mouse sees the mouse.[(((((triple1) -> rule5)) -> rule8))] The rabbit eats the rabbit.[(((((triple3) -> rule8)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8)) -> rule1))]