The bear is not green. The bear is kind. The bear does not like the mouse. The bear sees the mouse. The mouse is not green. The mouse is kind. The mouse is nice. The mouse is young. The mouse likes the bear. The mouse sees the bear. If someone visits the bear and the bear is nice then the bear visits the mouse. If someone visits the mouse and they are green then they do not like the mouse. If someone visits the mouse and the mouse visits the bear then the mouse is kind. If someone likes the mouse and the mouse likes the bear then they are nice. If someone likes the bear and they are kind then they visit the bear. If someone visits the mouse and they visit the bear then they do not see the bear. If someone likes the mouse and they do not like the bear then the mouse sees the bear. If the mouse visits the bear and the bear is not green then the bear is young.
The bear is green.
@0: The bear does not like the mouse.[(triple3)] The bear is kind.[(triple2)] The bear is not green.[(triple1)] The bear sees the mouse.[(triple4)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The mouse is not green.[(triple5)] The mouse is young.[(triple8)] The mouse likes the bear.[(triple9)] The mouse sees the bear.[(triple10)] @1: The mouse visits the bear.[(((triple9 triple6) -> rule5))] @2: The bear is young.[(((((triple9 triple6) -> rule5) triple1) -> rule8))]