The bear is nice. The bear likes the cow. The bear sees the cow. The cow is red. The cow likes the dog. The cow likes the lion. The cow needs the lion. The cow sees the dog. The cow sees the lion. The dog is nice. The dog needs the bear. The dog sees the lion. The lion is red. The lion is round. The lion likes the dog. The lion needs the bear. If something sees the lion then the lion sees the cow. If the lion needs the cow and the cow is round then the lion likes the bear. If something needs the bear then the bear is nice. If something is nice then it sees the cow. If something likes the cow and the cow needs the bear then it needs the dog. If something needs the dog then the dog sees the lion. If the cow likes the bear and the bear sees the dog then the cow needs the bear. If something sees the cow then the cow needs the bear.
The cow does not need the bear.
@0: The bear is nice.[(triple1 OR ((triple11) -> rule3) OR ((triple16) -> rule3) OR ((((triple3) -> rule8)) -> rule3) OR ((((((triple10) -> rule4)) -> rule8)) -> rule3) OR ((((((triple12) -> rule1)) -> rule8)) -> rule3) OR ((((((triple9) -> rule1)) -> rule8)) -> rule3))] The bear likes the cow.[(triple2)] The bear sees the cow.[(triple3 OR ((triple1) -> rule4) OR ((((triple11) -> rule3)) -> rule4) OR ((((triple16) -> rule3)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple12) -> rule1)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule8)) -> rule3)) -> rule4))] The cow is red.[(triple4)] The cow likes the dog.[(triple5)] The cow likes the lion.[(triple6)] The cow needs the lion.[(triple7)] The cow sees the dog.[(triple8)] The cow sees the lion.[(triple9)] The dog is nice.[(triple10)] The dog needs the bear.[(triple11)] The dog sees the lion.[(triple12 OR ((((triple2 ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((((triple2 ((((triple1) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple2 ((((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple2 ((((triple9) -> rule1)) -> rule8)) -> rule5)) -> rule6) OR ((((triple2 ((((((triple11) -> rule3)) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple2 ((((((triple16) -> rule3)) -> rule4)) -> rule8)) -> rule5)) -> rule6))] The lion is red.[(triple13)] The lion is round.[(triple14)] The lion likes the dog.[(triple15)] The lion needs the bear.[(triple16)] @1: The cow needs the bear.[(((triple3) -> rule8) OR ((((triple1) -> rule4)) -> rule8) OR ((((triple10) -> rule4)) -> rule8) OR ((((triple12) -> rule1)) -> rule8) OR ((((triple9) -> rule1)) -> rule8) OR ((((((triple11) -> rule3)) -> rule4)) -> rule8) OR ((((((triple16) -> rule3)) -> rule4)) -> rule8))] The dog sees the cow.[(((triple10) -> rule4))] The lion sees the cow.[(((triple12) -> rule1) OR ((triple9) -> rule1) OR ((((((triple2 ((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 ((((triple1) -> rule4)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 ((((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 ((((((triple11) -> rule3)) -> rule4)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 ((((((triple16) -> rule3)) -> rule4)) -> rule8)) -> rule5)) -> rule6)) -> rule1))] @2: The bear needs the dog.[(((triple2 ((triple3) -> rule8)) -> rule5) OR ((triple2 ((((triple1) -> rule4)) -> rule8)) -> rule5) OR ((triple2 ((((triple10) -> rule4)) -> rule8)) -> rule5) OR ((triple2 ((((triple12) -> rule1)) -> rule8)) -> rule5) OR ((triple2 ((((triple9) -> rule1)) -> rule8)) -> rule5) OR ((triple2 ((((((triple11) -> rule3)) -> rule4)) -> rule8)) -> rule5) OR ((triple2 ((((((triple16) -> rule3)) -> rule4)) -> rule8)) -> rule5))]