The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is not blue. The bald eagle does not need the mouse. The bald eagle visits the mouse. The mouse does not chase the rabbit. The mouse is not kind. The mouse is not young. The mouse visits the bald eagle. The rabbit chases the bald eagle. The rabbit chases the mouse. The rabbit is big. The rabbit is rough. The rabbit is young. The rabbit needs the bald eagle. If something visits the bald eagle and the bald eagle visits the mouse then the bald eagle chases the rabbit. If the mouse is young and the mouse chases the bald eagle then the mouse visits the rabbit. If something needs the rabbit and it needs the mouse then the rabbit chases the mouse. If something needs the rabbit then the rabbit chases the mouse. If something is big and blue then it does not need the mouse. If the mouse visits the rabbit then the rabbit visits the mouse. If something is young then it does not chase the rabbit. If something needs the rabbit and it does not visit the rabbit then the rabbit is young.
The bald eagle chases the rabbit.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the rabbit.[(triple2 OR ((triple9 triple5) -> rule1))] The bald eagle does not need the mouse.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle visits the mouse.[(triple5)] The mouse does not chase the rabbit.[(triple6)] The mouse is not kind.[(triple7)] The mouse is not young.[(triple8)] The mouse visits the bald eagle.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is big.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The rabbit does not chase the rabbit.[(((triple14) -> rule7))]