The bald eagle needs the rabbit. The bald eagle visits the mouse. The cow chases the mouse. The cow chases the rabbit. The cow is green. The cow needs the mouse. The cow needs the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse chases the rabbit. The mouse is nice. The mouse needs the cow. The mouse needs the rabbit. The rabbit is nice. The rabbit visits the bald eagle. If the mouse is nice and the mouse is big then the mouse visits the rabbit. If something visits the cow and the cow is kind then the cow chases the mouse. If something visits the bald eagle then it chases the rabbit. If something is green and it needs the mouse then it visits the mouse. If something is green and it visits the bald eagle then it is round. If something is big then it chases the mouse.
The mouse does not need the cow.
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow chases the mouse.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is green.[(triple5)] The cow needs the mouse.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the mouse.[(triple8 OR ((triple5 triple6) -> rule4))] The cow visits the rabbit.[(triple9)] The mouse chases the rabbit.[(triple10)] The mouse is nice.[(triple11)] The mouse needs the cow.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit is nice.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The rabbit chases the rabbit.[(((triple15) -> rule3))]