The mouse chases the squirrel. The mouse is not green. The mouse is round. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel does not need the mouse. If someone is green then they are round. Big people are young. If the squirrel is green and the squirrel sees the mouse then the squirrel does not need the mouse. If someone is round then they need the squirrel. If someone is blue and they chase the squirrel then they see the squirrel. If someone chases the squirrel then the squirrel does not see the mouse. If the mouse chases the squirrel then the squirrel is round. If the mouse is blue and the squirrel does not see the mouse then the mouse is not young.
The squirrel does not see the squirrel.
@0: The mouse chases the squirrel.[(triple1)] The mouse is not green.[(triple2)] The mouse is round.[(triple3)] The mouse needs the squirrel.[(triple4 OR ((triple3) -> rule4))] The mouse sees the squirrel.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel does not need the mouse.[(triple7)] @1: The squirrel does not see the mouse.[(((triple1) -> rule6))] The squirrel is round.[(((triple1) -> rule7))] @2: The squirrel needs the squirrel.[(((((triple1) -> rule7)) -> rule4))]