The bald eagle is blue. The bald eagle needs the lion. The bear eats the lion. The bear is green. The bear is kind. The bear sees the mouse. The lion is green. The lion sees the bald eagle. The mouse needs the bald eagle. The mouse needs the lion. If the lion needs the bald eagle and the lion eats the mouse then the lion sees the bald eagle. If something is green then it eats the lion. If something eats the lion then it needs the bald eagle.
The bear does not eat the lion.
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the lion.[(triple2)] The bear eats the lion.[(triple3 OR ((triple4) -> rule2))] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear sees the mouse.[(triple6)] The lion is green.[(triple7)] The lion sees the bald eagle.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the lion.[(triple10)] @1: The bear needs the bald eagle.[(((triple3) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The lion eats the lion.[(((triple7) -> rule2))] @2: The lion needs the bald eagle.[(((((triple7) -> rule2)) -> rule3))]