The bear is rough. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is green. The mouse is nice. The mouse is rough. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If someone is cold and round then they need the bear. If someone needs the mouse and the mouse is rough then the mouse is nice. If someone visits the mouse then the mouse visits the bear.
The bear does not need the bear.
@0: The bear is rough.[(triple1)] The bear needs the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse is nice.[(triple6 OR ((triple2 triple7) -> rule2))] The mouse is rough.[(triple7)] The mouse needs the bear.[(triple8)] The mouse sees the bear.[(triple9)] The mouse visits the bear.[(triple10 OR ((triple4) -> rule3))]