The bald eagle eats the cow. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cow. The bald eagle needs the cow. The cow eats the bald eagle. The cow is green. The cow is kind. The cow is red. The cow is rough. The cow is round. The cow likes the bald eagle. The cow needs the bald eagle. Rough things are red. If something is red then it needs the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple5) -> rule1))] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the cow.[(triple7)] The bald eagle needs the cow.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12 OR ((triple13) -> rule1))] The cow is rough.[(triple13)] The cow is round.[(triple14)] The cow likes the bald eagle.[(triple15)] The cow needs the bald eagle.[(triple16 OR ((triple12) -> rule2) OR ((((triple13) -> rule1)) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]