The bald eagle is green. The bald eagle is rough. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel does not like the bald eagle. If the squirrel does not like the bald eagle then the bald eagle does not like the squirrel. If something is rough and it does not eat the squirrel then it does not eat the bald eagle. If something eats the bald eagle and the bald eagle likes the squirrel then the squirrel is green.
The bald eagle eats the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The squirrel does not like the bald eagle.[(triple7)] The squirrel eats the bald eagle.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] @1: The bald eagle does not like the squirrel.[(((triple7) -> rule1))]