The bald eagle is not green. The bald eagle is nice. The bald eagle likes the lion. The bald eagle sees the rabbit. The lion eats the bald eagle. The lion eats the rabbit. The lion is green. The lion is nice. The lion sees the squirrel. The rabbit eats the squirrel. The rabbit does not like the bald eagle. The squirrel eats the bald eagle. The squirrel likes the rabbit. The squirrel sees the bald eagle. The squirrel sees the lion. If someone eats the bald eagle and they are not green then the bald eagle eats the squirrel. Nice people are not young. If someone eats the rabbit and the rabbit is not young then the rabbit likes the bald eagle. If someone likes the squirrel then they are big. If someone is green and not kind then they like the squirrel. If someone likes the lion and they are not young then they like the squirrel.
The squirrel does not eat the squirrel.
@0: The bald eagle is nice.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion sees the squirrel.[(triple9)] The rabbit does not like the bald eagle.[(triple11)] The rabbit eats the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The bald eagle is not young.[(((triple2) -> rule2))] The lion is not young.[(((triple8) -> rule2))] @2: The bald eagle likes the squirrel.[(((triple3 ((triple2) -> rule2)) -> rule6))] @3: The bald eagle is big.[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule4))]