The bald eagle eats the cow. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle likes the cow. The bald eagle needs the cow. The cow eats the bald eagle. The cow is cold. The cow is young. The cow likes the bald eagle. The cow needs the bald eagle. If the bald eagle likes the cow then the bald eagle is kind. If something is young and it likes the cow then it eats the bald eagle. If something needs the cow then it is red.
The bald eagle is not young.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple6) -> rule1))] The bald eagle is red.[(triple4 OR ((triple7) -> rule3))] The bald eagle is young.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle needs the cow.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is cold.[(triple9)] The cow is young.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow needs the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5 triple6) -> rule2))]