The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle likes the squirrel. The lion eats the squirrel. The lion is rough. The squirrel chases the lion. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel is blue. The squirrel is not green. The squirrel is kind. The squirrel likes the lion. If something chases the bald eagle then the bald eagle is rough. If something eats the bald eagle then the bald eagle is rough. If the lion chases the squirrel and the lion likes the squirrel then the squirrel is green. If something chases the lion then it chases the bald eagle. If the bald eagle chases the lion then the lion likes the squirrel. If the lion likes the squirrel then the squirrel is not round.
The bald eagle does not chase the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple10) -> rule2) OR ((((triple1) -> rule4)) -> rule1) OR ((((triple9) -> rule4)) -> rule1))] The bald eagle likes the squirrel.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is rough.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is kind.[(triple14)] The squirrel is not green.[(triple13)] The squirrel likes the lion.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule4))] The lion likes the squirrel.[(((triple1) -> rule5))] The squirrel chases the bald eagle.[(((triple9) -> rule4))] @2: The squirrel is not round.[(((((triple1) -> rule5)) -> rule6))]