The bald eagle eats the cow. The bald eagle sees the bear. The bald eagle sees the tiger. The bald eagle visits the bear. The bald eagle visits the cow. The bear is blue. The bear sees the tiger. The cow eats the bald eagle. The cow does not eat the bear. The cow visits the tiger. The tiger eats the cow. The tiger is nice. The tiger is rough. The tiger sees the bald eagle. The tiger does not visit the bald eagle. The tiger visits the cow. If something is rough then it eats the cow. If something is round then it eats the cow. If something eats the bear then it sees the bear. If something visits the bald eagle then it sees the bear. If something eats the tiger and it is blue then it visits the bald eagle. If something visits the bear then the bear eats the tiger.
The tiger does not visit the tiger.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the cow.[(triple5)] The bear is blue.[(triple6)] The bear sees the tiger.[(triple7)] The cow does not eat the bear.[(triple9)] The cow eats the bald eagle.[(triple8)] The cow visits the tiger.[(triple10)] The tiger does not visit the bald eagle.[(triple15)] The tiger eats the cow.[(triple11 OR ((triple13) -> rule1))] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the cow.[(triple16)] @1: The bear eats the tiger.[(((triple4) -> rule6))] @2: The bear visits the bald eagle.[(((((triple4) -> rule6) triple6) -> rule5))] @3: The bear sees the bear.[(((((((triple4) -> rule6) triple6) -> rule5)) -> rule4))]