The bald eagle sees the cow. The bald eagle visits the bear. The bear is not cold. The bear is rough. The bear is young. The bear needs the bald eagle. The bear needs the cow. The bear sees the lion. The cow is cold. The lion is red. The lion is rough. The lion needs the cow. The lion sees the bald eagle. The lion visits the bald eagle. The lion visits the bear. The lion does not visit the cow. If something is rough then it visits the bald eagle. If the lion needs the cow then the lion sees the bald eagle. If something needs the lion then the lion visits the bear. If something needs the cow then it is rough. If something is young and not cold then it is not red. If the cow visits the bald eagle and the bald eagle sees the lion then the cow is red. If something needs the cow and the cow is not rough then it does not need the bear. If something needs the cow and it is not red then it sees the cow.
The cow needs the bear.
@0: The bald eagle sees the cow.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear is not cold.[(triple3)] The bear is rough.[(triple4 OR ((triple7) -> rule4))] The bear is young.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the cow.[(triple7)] The bear sees the lion.[(triple8)] The cow is cold.[(triple9)] The lion does not visit the cow.[(triple16)] The lion is red.[(triple10)] The lion is rough.[(triple11 OR ((triple12) -> rule4))] The lion needs the cow.[(triple12)] The lion sees the bald eagle.[(triple13 OR ((triple12) -> rule2))] The lion visits the bald eagle.[(triple14 OR ((triple11) -> rule1) OR ((((triple12) -> rule4)) -> rule1))] The lion visits the bear.[(triple15)] @1: The bear is not red.[(((triple5 triple3) -> rule5))] The bear visits the bald eagle.[(((triple4) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] @2: The bear sees the cow.[(((triple7 ((triple5 triple3) -> rule5)) -> rule8))]