The bald eagle is round. The bald eagle visits the bear. The bald eagle visits the cow. The bear is rough. The bear is round. The bear needs the bald eagle. The cow chases the bear. The cow is rough. The cow is round. The cow visits the bald eagle. If something is big and it needs the cow then it needs the bald eagle. If something is round then it visits the bear. If something needs the cow then it chases the cow. If the bear does not visit the cow then the bear chases the cow. If the cow is cold and the cow does not need the bear then the cow chases the bear. If something needs the cow and the cow does not chase the bear then it visits the bald eagle.
The cow is rough.
@0: The bald eagle is round.[(triple1)] The bald eagle visits the bear.[(triple2 OR ((triple1) -> rule2))] The bald eagle visits the cow.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear needs the bald eagle.[(triple6)] The cow chases the bear.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow visits the bald eagle.[(triple10)] @1: The bear visits the bear.[(((triple5) -> rule2))] The cow visits the bear.[(((triple9) -> rule2))]