The bald eagle eats the cow. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the squirrel. The cow is big. The squirrel eats the bald eagle. The squirrel eats the cow. The squirrel is kind. The squirrel is young. The squirrel likes the cow. The squirrel does not need the bald eagle. The squirrel needs the cow. If someone eats the cow then they need the cow. If the bald eagle eats the cow and the bald eagle does not need the squirrel then the cow is not young. If someone needs the cow and they need the bald eagle then they are not rough. If someone likes the bald eagle and the bald eagle eats the squirrel then they are rough. Big people are rough. If the bald eagle likes the cow and the bald eagle eats the squirrel then the bald eagle is kind. If someone needs the squirrel then the squirrel likes the cow. If someone eats the squirrel then the squirrel is not young.
The cow likes the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle needs the cow.[(triple6 OR ((triple1) -> rule1))] The bald eagle needs the squirrel.[(triple7)] The cow is big.[(triple8)] The squirrel does not need the bald eagle.[(triple14)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cow.[(triple13 OR ((triple7) -> rule7))] The squirrel needs the cow.[(triple15 OR ((triple10) -> rule1))] @1: The cow is rough.[(((triple8) -> rule5))]