The mouse is cold. The mouse is green. The mouse is rough. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel sees the mouse. The squirrel visits the mouse. If the mouse visits the squirrel then the squirrel chases the mouse. If the squirrel is green and the squirrel is kind then the squirrel sees the mouse. If someone visits the mouse and the mouse visits the squirrel then the mouse is round. If someone sees the mouse and the mouse sees the squirrel then the mouse visits the squirrel. If someone is kind and they see the squirrel then they visit the mouse. If someone visits the mouse and the mouse visits the squirrel then the squirrel chases the mouse. If someone is round then they chase the squirrel. If someone visits the squirrel and the squirrel is round then they chase the mouse.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is rough.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel chases the mouse.[(triple5 OR ((((triple11 triple4) -> rule4)) -> rule1) OR ((triple12 ((triple11 triple4) -> rule4)) -> rule6) OR ((((((triple7 triple8) -> rule2) triple4) -> rule4)) -> rule1) OR ((triple12 ((((triple7 triple8) -> rule2) triple4) -> rule4)) -> rule6))] The squirrel is cold.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the mouse.[(triple11 OR ((triple7 triple8) -> rule2))] The squirrel visits the mouse.[(triple12)] @1: The mouse visits the squirrel.[(((triple11 triple4) -> rule4) OR ((((triple7 triple8) -> rule2) triple4) -> rule4))] The squirrel chases the squirrel.[(((triple10) -> rule7))] @2: The mouse chases the mouse.[(((((triple11 triple4) -> rule4) triple10) -> rule8) OR ((((((triple7 triple8) -> rule2) triple4) -> rule4) triple10) -> rule8))] The mouse is round.[(((triple12 ((triple11 triple4) -> rule4)) -> rule3) OR ((triple12 ((((triple7 triple8) -> rule2) triple4) -> rule4)) -> rule3))] @3: The mouse chases the squirrel.[(((((triple12 ((triple11 triple4) -> rule4)) -> rule3)) -> rule7) OR ((((triple12 ((((triple7 triple8) -> rule2) triple4) -> rule4)) -> rule3)) -> rule7))]