The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle is blue. The bald eagle is rough. The bald eagle is young. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the cow. The cat does not eat the cow. The cat is blue. The cat is kind. The cat is nice. The cat does not visit the cow. The cow is not nice. The cow sees the bald eagle. The cow sees the cat. If something visits the cat and it is not blue then the cat eats the cow. If something sees the cat and the cat does not see the bald eagle then the cat visits the bald eagle. If something visits the cow then it is young. If something is nice then it eats the bald eagle. If the cat visits the bald eagle then the bald eagle is not rough. If something sees the cow and it is not rough then the cow does not visit the bald eagle. If the bald eagle visits the cow and the cow does not eat the bald eagle then the bald eagle does not eat the cow. If the bald eagle is kind and the bald eagle is young then the bald eagle eats the cow.
The cow does not eat the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5 OR ((triple8) -> rule3))] The bald eagle sees the cat.[(triple6)] The bald eagle visits the cat.[(triple7)] The bald eagle visits the cow.[(triple8)] The cat does not eat the cow.[(triple9)] The cat does not visit the cow.[(triple13)] The cat is blue.[(triple10)] The cat is kind.[(triple11)] The cat is nice.[(triple12)] The cow is not nice.[(triple14)] The cow sees the bald eagle.[(triple15)] The cow sees the cat.[(triple16)] @1: The cat eats the bald eagle.[(((triple12) -> rule4))]