The bear is nice. The bear does not see the dog. The dog is big. The dog is blue. The dog is green. The dog does not like the bear. The dog does not need the bear. The dog needs the lion. The dog sees the bear. The dog sees the lion. The lion is big. The lion likes the bear. The lion likes the dog. The lion needs the bear. The lion does not see the bear. If the lion is green then the lion is blue. If something likes the bear then it does not need the dog. If something sees the dog and the dog likes the lion then it does not need the dog.
The dog does not see the bear.
@0: The bear does not see the dog.[(triple2)] The bear is nice.[(triple1)] The dog does not like the bear.[(triple6)] The dog does not need the bear.[(triple7)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is green.[(triple5)] The dog needs the lion.[(triple8)] The dog sees the bear.[(triple9)] The dog sees the lion.[(triple10)] The lion does not see the bear.[(triple15)] The lion is big.[(triple11)] The lion likes the bear.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the bear.[(triple14)] @1: The lion does not need the dog.[(((triple12) -> rule2))]