The bear is nice. The bear is rough. The bear needs the squirrel. The bear sees the mouse. The bear sees the squirrel. The bear visits the squirrel. The mouse needs the bear. The mouse needs the squirrel. The mouse sees the squirrel. The mouse visits the bear. The mouse visits the squirrel. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel sees the mouse. If someone is green and they need the mouse then they are red. If someone needs the mouse then the mouse is green. If someone needs the squirrel then the squirrel is red. If someone is big then they visit the mouse. If the mouse sees the squirrel and the squirrel visits the mouse then the mouse is red. If the squirrel visits the mouse then the squirrel needs the mouse.
The mouse does not need the mouse.
@0: The bear is nice.[(triple1)] The bear is rough.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the mouse.[(triple4)] The bear sees the squirrel.[(triple5)] The bear visits the squirrel.[(triple6)] The mouse needs the bear.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the bear.[(triple10)] The mouse visits the squirrel.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14 OR ((triple3) -> rule3) OR ((triple8) -> rule3))] The squirrel is rough.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The squirrel visits the mouse.[(((triple12) -> rule4))] @2: The mouse is red.[(((triple9 ((triple12) -> rule4)) -> rule5))] The squirrel needs the mouse.[(((((triple12) -> rule4)) -> rule6))] @3: The mouse is green.[(((((((triple12) -> rule4)) -> rule6)) -> rule2))]