The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The bald eagle visits the squirrel. The cow chases the bald eagle. The cow is nice. The cow is young. The cow likes the squirrel. The cow visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel visits the bald eagle. The squirrel visits the cow. If something likes the bald eagle and the bald eagle likes the squirrel then it visits the squirrel. If something chases the bald eagle then the bald eagle visits the cow. If the squirrel is nice then the squirrel is kind. If something visits the squirrel then it likes the bald eagle. If something visits the squirrel and the squirrel likes the bald eagle then the squirrel is kind. If something likes the bald eagle then the bald eagle is round.
The squirrel is rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is nice.[(triple6)] The cow is young.[(triple7)] The cow likes the squirrel.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The bald eagle is round.[(((triple12) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((triple9) -> rule4)) -> rule6))] The bald eagle likes the bald eagle.[(((triple4) -> rule4))] The bald eagle visits the cow.[(((triple10) -> rule2) OR ((triple5) -> rule2))] The cow likes the bald eagle.[(((triple9) -> rule4))] The squirrel is kind.[(((triple4 triple12) -> rule5) OR ((triple9 triple12) -> rule5))]