The mouse needs the squirrel. The mouse sees the rabbit. The mouse sees the squirrel. The rabbit is kind. The rabbit is nice. The rabbit is not round. The rabbit needs the mouse. The rabbit sees the mouse. The squirrel is kind. The squirrel sees the mouse. The squirrel does not see the rabbit. The squirrel visits the rabbit. If the squirrel sees the mouse then the mouse is rough. If something is green and it needs the squirrel then it sees the rabbit. If something needs the squirrel and it does not need the rabbit then the rabbit sees the squirrel. If something sees the rabbit then the rabbit visits the squirrel. If something needs the squirrel and it is rough then it is not green. If the rabbit is green and the rabbit sees the squirrel then the rabbit does not need the mouse.
The squirrel is round.
@0: The mouse needs the squirrel.[(triple1)] The mouse sees the rabbit.[(triple2)] The mouse sees the squirrel.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is not round.[(triple6)] The rabbit needs the mouse.[(triple7)] The rabbit sees the mouse.[(triple8)] The squirrel does not see the rabbit.[(triple11)] The squirrel is kind.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel visits the rabbit.[(triple12)] @1: The mouse is rough.[(((triple10) -> rule1))] The rabbit visits the squirrel.[(((triple2) -> rule4))] @2: The mouse is not green.[(((triple1 ((triple10) -> rule1)) -> rule5))]