The bald eagle chases the squirrel. The bald eagle is big. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The squirrel chases the bald eagle. The squirrel is red. The squirrel is round. If someone chases the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle. If someone likes the squirrel and they are not nice then the squirrel needs the bald eagle. If the bald eagle needs the squirrel and the bald eagle likes the squirrel then the squirrel needs the bald eagle. If someone is big then they need the bald eagle. If someone is big and rough then they chase the squirrel. Rough people are round. If someone is big then they like the squirrel. If the squirrel chases the bald eagle and the squirrel needs the bald eagle then the squirrel is big.
The squirrel does not chase the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the squirrel.[(triple3 OR ((triple2) -> rule7))] The bald eagle needs the squirrel.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel is red.[(triple6)] The squirrel is round.[(triple7)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule4))] The squirrel needs the bald eagle.[(((triple4 triple3) -> rule3) OR ((triple5 triple4) -> rule1) OR ((triple4 ((triple2) -> rule7)) -> rule3))] @2: The squirrel is big.[(((triple5 ((triple4 triple3) -> rule3)) -> rule8) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule8) OR ((triple5 ((triple4 ((triple2) -> rule7)) -> rule3)) -> rule8))] @3: The squirrel likes the squirrel.[(((((triple5 ((triple4 triple3) -> rule3)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule8)) -> rule7) OR ((((triple5 ((triple4 ((triple2) -> rule7)) -> rule3)) -> rule8)) -> rule7))]