The bear is nice. The bear is rough. The bear sees the mouse. The bear visits the mouse. The mouse is green. The mouse is nice. The mouse needs the bear. The mouse sees the rabbit. The mouse visits the bear. The mouse visits the rabbit. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit needs the mouse. The rabbit sees the bear. The rabbit sees the mouse. If someone needs the bear and the bear needs the rabbit then the bear visits the rabbit. If someone needs the rabbit then the rabbit is rough. If someone needs the bear and they see the mouse then they see the bear. If someone is cold and they see the rabbit then they are rough. If someone is cold and they need the mouse then they see the rabbit. If someone is green and they need the rabbit then the rabbit is rough. If someone needs the mouse then they visit the bear. If someone visits the bear then the bear sees the rabbit.
The rabbit sees the mouse.
@0: The bear is nice.[(triple1)] The bear is rough.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse is nice.[(triple6)] The mouse needs the bear.[(triple7)] The mouse sees the rabbit.[(triple8)] The mouse visits the bear.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is rough.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear sees the rabbit.[(((triple9) -> rule8) OR ((((triple14) -> rule7)) -> rule8))] The rabbit visits the bear.[(((triple14) -> rule7))]