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