The bald eagle is big. The bald eagle is kind. The bald eagle likes the cow. The bald eagle visits the squirrel. The cow is nice. The cow likes the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel needs the bald eagle. The squirrel visits the cow. If the cow likes the squirrel then the cow is nice. If the squirrel needs the cow and the cow needs the bald eagle then the squirrel is nice.
The bald eagle is kind.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow is nice.[(triple5 OR ((triple6) -> rule1))] The cow likes the squirrel.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel visits the cow.[(triple10)]