The bald eagle eats the cow. The bald eagle is not big. The bald eagle is not cold. The bald eagle is green. The bald eagle is not nice. The bald eagle is red. The bald eagle needs the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is not big. The cow is green. The cow is nice. The cow is not red. The cow needs the bald eagle. The cow does not see the bald eagle. If something eats the bald eagle and the bald eagle is red then it does not need the cow. If something needs the cow then the cow needs the bald eagle. If the cow is red then the cow is big. If the cow is green then the cow eats the bald eagle. If something is big then it is not green. If something sees the bald eagle then the bald eagle sees the cow.
The cow does not eat the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is green.[(triple4)] The bald eagle is not big.[(triple2)] The bald eagle is not cold.[(triple3)] The bald eagle is not nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle needs the cow.[(triple7)] The bald eagle sees the cow.[(triple8)] The cow does not see the bald eagle.[(triple15)] The cow eats the bald eagle.[(triple9 OR ((triple11) -> rule4))] The cow is green.[(triple11)] The cow is nice.[(triple12)] The cow is not big.[(triple10)] The cow is not red.[(triple13)] The cow needs the bald eagle.[(triple14 OR ((triple7) -> rule2))] @1: The cow does not need the cow.[(((triple9 triple6) -> rule1) OR ((((triple11) -> rule4) triple6) -> rule1))]