The bald eagle does not eat the cow. The bald eagle likes the cow. The cow does not eat the bald eagle. The cow is not big. The cow is red. The cow does not like the bald eagle. The cow needs the bald eagle. If someone likes the cow then they are big.
The bald eagle does not need the cow.
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow does not eat the bald eagle.[(triple3)] The cow does not like the bald eagle.[(triple6)] The cow is not big.[(triple4)] The cow is red.[(triple5)] The cow needs the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple2) -> rule1))]