The bald eagle is nice. The bald eagle visits the cow. The bear likes the bald eagle. The cow likes the bear. The cow visits the bald eagle. The cow visits the bear. The cow visits the squirrel. The squirrel chases the bear. The squirrel likes the bald eagle. The squirrel likes the bear. If the bald eagle chases the squirrel and the bald eagle is blue then the squirrel visits the bald eagle. If the squirrel likes the bear then the squirrel is rough. If someone visits the bear then they visit the bald eagle. If someone visits the bear and they chase the squirrel then the squirrel is nice. If someone likes the cow and the cow visits the bald eagle then the bald eagle likes the bear. If someone is rough then they visit the bear.
The squirrel is rough.
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the cow.[(triple2)] The bear likes the bald eagle.[(triple3)] The cow likes the bear.[(triple4)] The cow visits the bald eagle.[(triple5 OR ((triple6) -> rule3))] The cow visits the bear.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the bear.[(triple10)] @1: The squirrel is rough.[(((triple10) -> rule2))] @2: The squirrel visits the bear.[(((((triple10) -> rule2)) -> rule6))] @3: The squirrel visits the bald eagle.[(((((((triple10) -> rule2)) -> rule6)) -> rule3))]