The bald eagle likes the mouse. The bald eagle sees the lion. The lion likes the bald eagle. The lion likes the mouse. The lion needs the bald eagle. The lion needs the mouse. The lion sees the bald eagle. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse needs the lion. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is blue. The squirrel is nice. The squirrel likes the bald eagle. The squirrel sees the lion. If something needs the mouse then the mouse is blue. If the lion likes the bald eagle and the bald eagle is green then the lion is big. If something sees the bald eagle then the bald eagle needs the mouse.
The mouse does not need the bald eagle.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle sees the lion.[(triple2)] The lion likes the bald eagle.[(triple3)] The lion likes the mouse.[(triple4)] The lion needs the bald eagle.[(triple5)] The lion needs the mouse.[(triple6)] The lion sees the bald eagle.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the lion.[(triple10)] The mouse needs the squirrel.[(triple11)] The mouse sees the squirrel.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is nice.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The bald eagle needs the mouse.[(((triple7) -> rule3))] The mouse is blue.[(((triple6) -> rule1) OR ((((triple7) -> rule3)) -> rule1))]