The mouse is red. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is nice. The squirrel is rough. The squirrel sees the mouse. The squirrel visits the mouse. If someone visits the mouse and they visit the squirrel then they need the squirrel. If someone is rough then they do not need the squirrel. If someone is nice then they visit the mouse. If someone visits the squirrel then they visit the mouse. If someone needs the squirrel then they need the mouse. If someone is nice then they see the squirrel.
The squirrel is kind.
@0: The mouse is red.[(triple1)] The mouse sees the squirrel.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is rough.[(triple5)] The squirrel sees the mouse.[(triple6)] The squirrel visits the mouse.[(triple7 OR ((triple4) -> rule3))] @1: The mouse visits the mouse.[(((triple3) -> rule4))] The squirrel does not need the squirrel.[(((triple5) -> rule2))] The squirrel sees the squirrel.[(((triple4) -> rule6))] @2: The mouse needs the squirrel.[(((((triple3) -> rule4) triple3) -> rule1))] @3: The mouse needs the mouse.[(((((((triple3) -> rule4) triple3) -> rule1)) -> rule5))]