The mouse is red. The mouse is not rough. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is rough. The squirrel does not like the mouse. The squirrel sees the mouse. If someone is rough and big then they see the squirrel. If someone likes the squirrel then they need the mouse. If someone needs the mouse and they are not rough then they are round. If someone likes the mouse then they see the mouse. If someone sees the squirrel then they like the squirrel. Round people are big. If the squirrel does not see the mouse then the mouse needs the squirrel. If the squirrel likes the mouse then the mouse does not need the squirrel.
The mouse does not need the mouse.
@0: The mouse is not rough.[(triple2)] The mouse is red.[(triple1)] The mouse likes the squirrel.[(triple3 OR ((triple4) -> rule5))] The mouse sees the squirrel.[(triple4)] The squirrel does not like the mouse.[(triple6)] The squirrel is rough.[(triple5)] The squirrel sees the mouse.[(triple7)] @1: The mouse needs the mouse.[(((triple3) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] @2: The mouse is round.[(((((triple3) -> rule2) triple2) -> rule3) OR ((((((triple4) -> rule5)) -> rule2) triple2) -> rule3))] @3: The mouse is big.[(((((((triple3) -> rule2) triple2) -> rule3)) -> rule6) OR ((((((((triple4) -> rule5)) -> rule2) triple2) -> rule3)) -> rule6))]