The bald eagle is red. The bald eagle is round. The bald eagle likes the cow. The bald eagle does not need the cow. The cat is red. The cat does not need the bald eagle. The cat visits the bald eagle. The cat visits the cow. The cow is big. The cow is not red. The cow likes the bald eagle. The cow does not like the cat. The cow needs the bald eagle. The cow needs the cat. The cow visits the bald eagle. The cow does not visit the cat. If someone visits the cat then they do not need the cow. If someone is big then they do not visit the cow.
The cow likes the bald eagle.
@0: The bald eagle does not need the cow.[(triple4)] The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cow.[(triple3)] The cat does not need the bald eagle.[(triple6)] The cat is red.[(triple5)] The cat visits the bald eagle.[(triple7)] The cat visits the cow.[(triple8)] The cow does not like the cat.[(triple12)] The cow does not visit the cat.[(triple16)] The cow is big.[(triple9)] The cow is not red.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow needs the bald eagle.[(triple13)] The cow needs the cat.[(triple14)] The cow visits the bald eagle.[(triple15)] @1: The cow does not visit the cow.[(((triple9) -> rule2))]