The bald eagle is round. The bald eagle needs the mouse. The bald eagle sees the lion. The bald eagle sees the mouse. The bald eagle visits the lion. The lion is blue. The lion visits the bald eagle. The mouse is green. The mouse is young. The mouse needs the bald eagle. The mouse needs the lion. The mouse visits the lion. If something needs the lion then the lion needs the bald eagle. If something sees the mouse and the mouse is young then the mouse is green. If something visits the mouse then it needs the bald eagle.
The bald eagle does not need the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the mouse.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion is blue.[(triple6)] The lion visits the bald eagle.[(triple7)] The mouse is green.[(triple8 OR ((triple4 triple9) -> rule2))] The mouse is young.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the lion.[(triple12)] @1: The lion needs the bald eagle.[(((triple11) -> rule1))]