The bald eagle chases the squirrel. The bald eagle is red. The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If the bald eagle is big and the bald eagle chases the squirrel then the bald eagle is nice. If something is rough then it is big. If the squirrel is rough and the squirrel sees the bald eagle then the squirrel likes the bald eagle. If the bald eagle is rough then the bald eagle sees the squirrel. If the squirrel sees the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel. If the bald eagle likes the squirrel then the squirrel likes the bald eagle.
The squirrel sees the squirrel.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple12 triple5) -> rule5) OR ((triple12 ((triple3) -> rule4)) -> rule5))] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the squirrel.[(triple5 OR ((triple3) -> rule4))] The squirrel chases the bald eagle.[(triple6)] The squirrel is big.[(triple7 OR ((triple10) -> rule2))] The squirrel is nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bald eagle.[(triple11 OR ((triple4) -> rule6) OR ((triple10 triple12) -> rule3))] The squirrel sees the bald eagle.[(triple12)] @1: The bald eagle is big.[(((triple3) -> rule2))] @2: The bald eagle is nice.[(((((triple3) -> rule2) triple1) -> rule1) OR ((((triple3) -> rule2) ((triple12 triple5) -> rule5)) -> rule1) OR ((((triple3) -> rule2) ((triple12 ((triple3) -> rule4)) -> rule5)) -> rule1))]