The bear is not blue. The bear is cold. The bear is rough. The bear likes the dog. The bear does not need the dog. The bear needs the mouse. The bear sees the dog. The bear sees the mouse. The dog is not young. The dog likes the mouse. The mouse is cold. The mouse is rough. The mouse likes the bear. The mouse does not like the dog. The mouse sees the bear. The mouse sees the dog. If someone needs the dog and they need the bear then the bear is rough. If someone sees the bear then the bear is not blue. If someone needs the dog then the dog is young. If the mouse sees the bear and the mouse is rough then the mouse needs the bear. If the dog likes the mouse and the dog needs the bear then the dog is cold. If someone needs the bear then the bear is not green. If the mouse sees the bear and the mouse is green then the bear is cold. If someone likes the bear and they are not young then they do not like the dog.
The bear needs the dog.
@0: The bear does not need the dog.[(triple5)] The bear is cold.[(triple2)] The bear is not blue.[(triple1 OR ((triple15) -> rule2))] The bear is rough.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the mouse.[(triple6)] The bear sees the dog.[(triple7)] The bear sees the mouse.[(triple8)] The dog is not young.[(triple9)] The dog likes the mouse.[(triple10)] The mouse does not like the dog.[(triple14)] The mouse is cold.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bear.[(triple13)] The mouse sees the bear.[(triple15)] The mouse sees the dog.[(triple16)] @1: The mouse needs the bear.[(((triple15 triple12) -> rule4))] @2: The bear is not green.[(((((triple15 triple12) -> rule4)) -> rule6))]