The bald eagle is green. The bald eagle likes the dog. The bald eagle likes the lion. The bald eagle does not see the lion. The dog is nice. The dog likes the bald eagle. The dog likes the lion. The dog needs the lion. The dog sees the bald eagle. The dog sees the lion. The lion is red. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. The lion needs the dog. The lion sees the dog. If something is young then it needs the bald eagle. All young things are blue. If something sees the dog and it is not green then it sees the bald eagle. If something sees the lion then the lion does not see the bald eagle. If the dog needs the lion and the lion does not like the bald eagle then the bald eagle sees the dog. If something is green then it does not see the lion. If something likes the lion then the lion is young. If the bald eagle is blue then the bald eagle likes the dog.
The lion does not see the bald eagle.
@0: The bald eagle does not see the lion.[(triple4 OR ((triple1) -> rule6))] The bald eagle is green.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle likes the lion.[(triple3)] The dog is nice.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog likes the lion.[(triple7)] The dog needs the lion.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the lion.[(triple10)] The lion is red.[(triple11)] The lion is young.[(triple12 OR ((triple3) -> rule7) OR ((triple7) -> rule7))] The lion likes the bald eagle.[(triple13)] The lion needs the bald eagle.[(triple14 OR ((triple12) -> rule1) OR ((((triple3) -> rule7)) -> rule1) OR ((((triple7) -> rule7)) -> rule1))] The lion needs the dog.[(triple15)] The lion sees the dog.[(triple16)] @1: The lion does not see the bald eagle.[(((triple10) -> rule4))] The lion is blue.[(((triple12) -> rule2) OR ((((triple3) -> rule7)) -> rule2) OR ((((triple7) -> rule7)) -> rule2))]