The bald eagle eats the squirrel. The bald eagle likes the rabbit. The bald eagle likes the squirrel. The bald eagle needs the rabbit. The rabbit eats the squirrel. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the squirrel. The rabbit needs the bald eagle. The rabbit needs the squirrel. The squirrel eats the bald eagle. The squirrel is kind. The squirrel is rough. The squirrel likes the rabbit. The squirrel needs the bald eagle. The squirrel needs the rabbit. If the rabbit needs the bald eagle then the rabbit is big.
The bald eagle likes the rabbit.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the bald eagle.[(triple7)] The rabbit likes the squirrel.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit is big.[(((triple9) -> rule1))]