The bear is round. The bear visits the mouse. The mouse is green. The mouse is young. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If someone is round then they need the bear. If someone is young and not kind then they do not visit the bear. If the bear visits the mouse and the mouse does not visit the bear then the mouse sees the bear. If someone is green then they need the mouse. If someone sees the bear then the bear is green. If someone sees the bear then they see the mouse. If someone is rough and they see the bear then the bear sees the mouse. If someone visits the bear then the bear does not see the mouse.
The mouse is round.
@0: The bear is round.[(triple1)] The bear visits the mouse.[(triple2)] The mouse is green.[(triple3)] The mouse is young.[(triple4)] The mouse needs the bear.[(triple5)] The mouse sees the bear.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear does not see the mouse.[(((triple7) -> rule8))] The bear is green.[(((triple6) -> rule5))] The bear needs the bear.[(((triple1) -> rule1))] The mouse needs the mouse.[(((triple3) -> rule4))] The mouse sees the mouse.[(((triple6) -> rule6))] @2: The bear needs the mouse.[(((((triple6) -> rule5)) -> rule4))]