The bald eagle likes the bear. The bear needs the bald eagle. The bear sees the bald eagle. The mouse is round. The mouse sees the bald eagle. The squirrel needs the bear. The squirrel sees the bear. If something likes the bear and it needs the bald eagle then the bald eagle likes the squirrel. If something needs the bald eagle and it needs the squirrel then the squirrel is big. If the mouse is blue and the mouse is big then the mouse is nice. If something likes the bald eagle then the bald eagle is round. If something is blue and it likes the bear then it likes the bald eagle. If the squirrel likes the mouse then the squirrel needs the bald eagle. If something sees the bald eagle then the bald eagle is blue. If something is blue and nice then it is round.
The mouse sees the bear.
@0: The bald eagle likes the bear.[(triple1)] The bear needs the bald eagle.[(triple2)] The bear sees the bald eagle.[(triple3)] The mouse is round.[(triple4)] The mouse sees the bald eagle.[(triple5)] The squirrel needs the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The bald eagle is blue.[(((triple3) -> rule7) OR ((triple5) -> rule7))] @2: The bald eagle likes the bald eagle.[(((((triple3) -> rule7) triple1) -> rule5) OR ((((triple5) -> rule7) triple1) -> rule5))] @3: The bald eagle is round.[(((((((triple3) -> rule7) triple1) -> rule5)) -> rule4) OR ((((((triple5) -> rule7) triple1) -> rule5)) -> rule4))]