The bald eagle is red. The bald eagle is rough. The bear eats the bald eagle. The bear is red. The bear is rough. The bear sees the rabbit. The bear sees the squirrel. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is red. The rabbit is round. The rabbit sees the squirrel. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel sees the bear. If someone chases the rabbit then the rabbit eats the bald eagle. If the bald eagle is red and the bald eagle is blue then the bald eagle sees the bear. If someone chases the squirrel and the squirrel chases the bear then the squirrel is red. If someone chases the bald eagle then they chase the rabbit. If someone eats the rabbit and they see the bald eagle then the bald eagle sees the rabbit. If the rabbit sees the squirrel and the squirrel sees the bear then the bear eats the bald eagle. If the bear is young and the bear chases the rabbit then the rabbit eats the bear. If the squirrel is round and the squirrel is rough then the squirrel is young.
The bear is not rough.
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bear eats the bald eagle.[(triple3 OR ((triple13 triple16) -> rule6))] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear sees the rabbit.[(triple6)] The bear sees the squirrel.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit chases the squirrel.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel chases the rabbit.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The rabbit eats the bald eagle.[(((triple15) -> rule1))] The squirrel is red.[(((triple9 triple14) -> rule3))]