The bald eagle chases the squirrel. The bald eagle likes the bear. The bear is red. The bear sees the squirrel. The squirrel is rough. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If something chases the bear and the bear sees the bald eagle then it is red. If something sees the bald eagle and the bald eagle chases the bear then it likes the bald eagle. If something chases the squirrel and it is red then the squirrel sees the bald eagle. If something likes the bald eagle then it likes the bear. If something sees the bald eagle and it likes the bear then the bald eagle sees the bear. If something sees the bear then it chases the bald eagle. If something is rough then it is red. If something is rough then it sees the bald eagle.
The bear does not like the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is red.[(triple3)] The bear sees the squirrel.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7 OR ((triple5) -> rule8))] @1: The squirrel is red.[(((triple5) -> rule7))] The squirrel likes the bear.[(((triple6) -> rule4))] @2: The bald eagle sees the bear.[(((triple7 ((triple6) -> rule4)) -> rule5) OR ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5))] @3: The bald eagle chases the bald eagle.[(((((triple7 ((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple5) -> rule8) ((triple6) -> rule4)) -> rule5)) -> rule6))]