The bear is red. The bear is not rough. The bear is young. The bear likes the lion. The bear sees the dog. The bear sees the mouse. The bear visits the dog. The dog is red. The dog does not see the bear. The dog sees the mouse. The dog does not visit the lion. The lion likes the mouse. The mouse does not like the lion. The mouse does not see the bear. The mouse does not see the dog. The mouse sees the lion. If something is rough and it does not like the bear then the bear does not see the dog. If something sees the lion then the lion visits the dog. If something is young then it does not see the bear. If something likes the bear then it is big. If something visits the mouse and it is not red then it is green. If the bear visits the mouse and the bear does not visit the lion then the bear is not green.
The bear is not green.
@0: The bear is not rough.[(triple2)] The bear is red.[(triple1)] The bear is young.[(triple3)] The bear likes the lion.[(triple4)] The bear sees the dog.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the dog.[(triple7)] The dog does not see the bear.[(triple9)] The dog does not visit the lion.[(triple11)] The dog is red.[(triple8)] The dog sees the mouse.[(triple10)] The lion likes the mouse.[(triple12)] The mouse does not like the lion.[(triple13)] The mouse does not see the bear.[(triple14)] The mouse does not see the dog.[(triple15)] The mouse sees the lion.[(triple16)] @1: The bear does not see the bear.[(((triple3) -> rule3))] The lion visits the dog.[(((triple16) -> rule2))]