The bald eagle chases the rabbit. The bald eagle chases the squirrel. The bald eagle eats the rabbit. The bald eagle eats the squirrel. The rabbit chases the squirrel. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is not nice. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the squirrel. The squirrel does not chase the bald eagle. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel likes the bald eagle. If something chases the bald eagle then the bald eagle likes the rabbit. If the bald eagle is green then the bald eagle eats the rabbit. If something eats the squirrel then it likes the bald eagle. If something is blue and it likes the squirrel then it chases the squirrel. If the rabbit is not green and the rabbit does not like the squirrel then the rabbit does not like the bald eagle. If something chases the bald eagle then the bald eagle is rough. If the bald eagle is rough then the bald eagle does not eat the squirrel. If something chases the bald eagle and the bald eagle does not eat the squirrel then the squirrel likes the bald eagle.
The bald eagle is not rough.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The rabbit chases the squirrel.[(triple5 OR ((triple7 triple11) -> rule4))] The rabbit eats the bald eagle.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is not nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel chases the rabbit.[(triple13)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel eats the rabbit.[(triple14)] The squirrel is blue.[(triple15)] The squirrel likes the bald eagle.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule3))]