The bald eagle chases the mouse. The bald eagle is rough. The bald eagle is round. The bald eagle likes the mouse. The lion is blue. The lion likes the bald eagle. The mouse chases the bald eagle. The mouse chases the lion. The mouse likes the bald eagle. The mouse needs the lion. If something needs the bald eagle and it likes the lion then the lion is green. If something is round then it does not like the lion. If something chases the bald eagle then it does not need the mouse. All round things are rough. If something chases the lion and it chases the bald eagle then the lion chases the bald eagle. If the mouse is blue and the mouse chases the lion then the mouse needs the bald eagle. If the bald eagle needs the lion and the bald eagle does not like the mouse then the lion is cold. If something needs the lion and it does not need the bald eagle then the bald eagle needs the mouse.
The mouse does not need the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is rough.[(triple2 OR ((triple3) -> rule4))] The bald eagle is round.[(triple3)] The bald eagle likes the mouse.[(triple4)] The lion is blue.[(triple5)] The lion likes the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the lion.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse needs the lion.[(triple10)] @1: The bald eagle does not like the lion.[(((triple3) -> rule2))] The lion chases the bald eagle.[(((triple8 triple7) -> rule5))] The mouse does not need the mouse.[(((triple7) -> rule3))] @2: The lion does not need the mouse.[(((((triple8 triple7) -> rule5)) -> rule3))]