The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle eats the mouse. The bald eagle is green. The bald eagle is kind. The cat chases the bald eagle. The cat needs the rabbit. The mouse chases the cat. The mouse eats the bald eagle. The mouse eats the cat. The mouse is kind. The mouse is young. The mouse needs the bald eagle. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit needs the mouse. If the bald eagle chases the cat and the bald eagle needs the cat then the cat needs the bald eagle. If something is big and green then it needs the mouse. If the bald eagle chases the cat then the bald eagle chases the rabbit. If the rabbit is young then the rabbit is rough. If something is kind then it chases the rabbit. If something is kind and it eats the bald eagle then the bald eagle needs the mouse. If something is young and it chases the mouse then the mouse needs the cat. If something is kind and it needs the mouse then it eats the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule5))] The bald eagle eats the mouse.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat needs the rabbit.[(triple7)] The mouse chases the cat.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the cat.[(triple10)] The mouse is kind.[(triple11)] The mouse is young.[(triple12)] The mouse needs the bald eagle.[(triple13)] The rabbit chases the mouse.[(triple14)] The rabbit eats the mouse.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The bald eagle needs the mouse.[(((triple11 triple9) -> rule6))] The mouse chases the rabbit.[(((triple11) -> rule5))] @2: The bald eagle eats the bald eagle.[(((triple5 ((triple11 triple9) -> rule6)) -> rule8))]