The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle likes the squirrel. The bald eagle visits the bear. The bear is blue. The bear is cold. The bear is nice. The bear is rough. The bear visits the tiger. The squirrel is cold. The squirrel does not like the bald eagle. The squirrel likes the bear. The squirrel visits the bald eagle. The tiger does not chase the bear. The tiger visits the bear. If the bald eagle visits the squirrel and the bald eagle visits the bear then the bear does not visit the bald eagle. If something visits the bear then the bear is cold. If something chases the squirrel and it likes the bear then the squirrel does not chase the bald eagle. If something chases the squirrel then it likes the squirrel. If something is cold and it chases the squirrel then the squirrel is not nice. If something is rough then it does not visit the bear.
The bald eagle is young.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle chases the tiger.[(triple3)] The bald eagle likes the squirrel.[(triple4 OR ((triple2) -> rule4))] The bald eagle visits the bear.[(triple5)] The bear is blue.[(triple6)] The bear is cold.[(triple7 OR ((triple16) -> rule2) OR ((triple5) -> rule2))] The bear is nice.[(triple8)] The bear is rough.[(triple9)] The bear visits the tiger.[(triple10)] The squirrel does not like the bald eagle.[(triple12)] The squirrel is cold.[(triple11)] The squirrel likes the bear.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The tiger does not chase the bear.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear does not visit the bear.[(((triple9) -> rule6))]