The bald eagle is green. The bald eagle likes the squirrel. The lion chases the bald eagle. The lion eats the bald eagle. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel is round. If someone chases the bald eagle then they are young. If someone eats the lion and they are round then they chase the bald eagle.
The squirrel does not chase the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is round.[(triple7)] @1: The lion is young.[(((triple3) -> rule1))] The squirrel chases the bald eagle.[(((triple6 triple7) -> rule2))] @2: The squirrel is young.[(((((triple6 triple7) -> rule2)) -> rule1))]