The cat needs the mouse. The dog needs the rabbit. The mouse does not need the rabbit. The rabbit eats the mouse. If something needs the dog then it likes the mouse. If something eats the mouse then it needs the dog. If something likes the dog then the dog is round. If something likes the cat then the cat eats the dog. If the cat likes the mouse then the mouse does not need the rabbit. If something eats the cat and it is not rough then the cat eats the mouse. Rough things are green. If something eats the rabbit and it is not green then the rabbit needs the mouse.
The mouse is not rough.
@0: The cat needs the mouse.[(triple1)] The dog needs the rabbit.[(triple2)] The mouse does not need the rabbit.[(triple3)] The rabbit eats the mouse.[(triple4)] @1: The rabbit needs the dog.[(((triple4) -> rule2))] @2: The rabbit likes the mouse.[(((((triple4) -> rule2)) -> rule1))]