The bear is cold. The bear is not green. The bear is kind. The bear is rough. The bear is young. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is cold. The mouse is green. The mouse is kind. The mouse is not rough. The mouse is young. The mouse needs the bear. The mouse sees the bear. The mouse does not visit the bear. If someone sees the bear and they need the mouse then the mouse sees the bear. If someone is cold and rough then they visit the bear. If someone needs the mouse and the mouse visits the bear then the bear sees the mouse.
The mouse does not need the bear.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear needs the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse does not visit the bear.[(triple16)] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is not rough.[(triple12)] The mouse is young.[(triple13)] The mouse needs the bear.[(triple14)] The mouse sees the bear.[(triple15)] @1: The bear visits the bear.[(((triple1 triple4) -> rule2))]