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