The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle is rough. The bald eagle is round. The bald eagle sees the squirrel. The rabbit eats the bald eagle. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit likes the bald eagle. The rabbit likes the squirrel. The squirrel eats the bald eagle. The squirrel sees the bald eagle. The squirrel sees the rabbit. If someone sees the bald eagle then they eat the squirrel. If the rabbit likes the bald eagle then the rabbit eats the squirrel. If the rabbit is red then the rabbit likes the squirrel.
The squirrel is red.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is green.[(triple8)] The rabbit is rough.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the squirrel.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The rabbit eats the squirrel.[(((triple11) -> rule2))] The squirrel eats the squirrel.[(((triple14) -> rule1))]