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