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