The mouse sees the rabbit. The rabbit eats the mouse. The rabbit needs the mouse. If someone needs the rabbit then the rabbit is nice. If the mouse is red and the mouse is green then the mouse is nice. If the mouse is green then the mouse is red. If the mouse needs the rabbit then the rabbit needs the mouse. If someone eats the mouse then the mouse sees the rabbit. If someone needs the rabbit then the rabbit sees the mouse.
The rabbit does not see the mouse.
@0: The mouse sees the rabbit.[(triple1 OR ((triple2) -> rule5))] The rabbit eats the mouse.[(triple2)] The rabbit needs the mouse.[(triple3)]