The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle is round. The bald eagle does not need the tiger. The bald eagle sees the cow. The bald eagle sees the tiger. The bear eats the tiger. The bear sees the bald eagle. The bear sees the cow. The cow does not eat the bald eagle. The cow is blue. The cow is round. The tiger eats the bear. The tiger is big. The tiger sees the bear. The tiger sees the cow. If the cow needs the bear and the bear does not eat the cow then the bear is round. If someone is round then they see the cow.
The bald eagle does not see the tiger.
@0: The bald eagle does not need the tiger.[(triple4)] The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the cow.[(triple5 OR ((triple3) -> rule2))] The bald eagle sees the tiger.[(triple6)] The bear eats the tiger.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear sees the cow.[(triple9)] The cow does not eat the bald eagle.[(triple10)] The cow is blue.[(triple11)] The cow is round.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is big.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the cow.[(triple16)] @1: The cow sees the cow.[(((triple12) -> rule2))]