The bald eagle chases the mouse. The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle needs the mouse. The cow chases the mouse. The cow eats the bald eagle. The cow is not rough. The lion chases the mouse. The lion eats the mouse. The lion is big. The mouse chases the lion. The mouse eats the lion. The mouse does not need the bald eagle. The mouse needs the cow. The mouse needs the lion. If something needs the mouse and it is not green then the mouse is big. If something is rough then it does not need the lion. If the bald eagle needs the mouse then the mouse eats the cow. All red things are round. If the bald eagle chases the mouse and the bald eagle eats the mouse then the bald eagle needs the lion. If something eats the cow and it is green then it does not need the mouse.
The mouse needs the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cow chases the mouse.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow is not rough.[(triple7)] The lion chases the mouse.[(triple8)] The lion eats the mouse.[(triple9)] The lion is big.[(triple10)] The mouse chases the lion.[(triple11)] The mouse does not need the bald eagle.[(triple13)] The mouse eats the lion.[(triple12)] The mouse needs the cow.[(triple14)] The mouse needs the lion.[(triple15)] @1: The bald eagle needs the lion.[(((triple1 triple3) -> rule5))] The mouse eats the cow.[(((triple4) -> rule3))]