The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The rabbit does not chase the squirrel. The rabbit is not young. The rabbit does not like the bald eagle. The rabbit does not like the squirrel. The squirrel chases the bald eagle. The squirrel is cold. The squirrel likes the rabbit. The squirrel does not see the rabbit. If the bald eagle sees the rabbit then the bald eagle does not chase the squirrel. If something chases the bald eagle then the bald eagle likes the rabbit.
The bald eagle is not round.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The bald eagle sees the squirrel.[(triple7)] The rabbit does not chase the squirrel.[(triple8)] The rabbit does not like the bald eagle.[(triple10)] The rabbit does not like the squirrel.[(triple11)] The rabbit is not young.[(triple9)] The squirrel chases the bald eagle.[(triple12)] The squirrel does not see the rabbit.[(triple15)] The squirrel is cold.[(triple13)] The squirrel likes the rabbit.[(triple14)] @1: The bald eagle does not chase the squirrel.[(((triple6) -> rule1))] The bald eagle likes the rabbit.[(((triple12) -> rule2))]