The mouse chases the tiger. The mouse is green. The mouse needs the squirrel. The mouse needs the tiger. The squirrel is red. The squirrel is rough. The squirrel needs the mouse. The squirrel sees the mouse. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is rough. The tiger is round. The tiger needs the mouse. The tiger needs the squirrel. The tiger sees the mouse. If someone is round then they need the squirrel. If someone needs the squirrel and the squirrel sees the mouse then they are cold. If someone sees the squirrel then the squirrel is rough. If someone is green then they need the tiger. If someone sees the mouse and they need the mouse then they are green. If someone is rough and they see the mouse then they are round.
The mouse is not round.
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse needs the squirrel.[(triple3)] The mouse needs the tiger.[(triple4 OR ((triple2) -> rule4))] The squirrel is red.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the mouse.[(triple7)] The squirrel sees the mouse.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger is cold.[(triple11 OR ((triple15 triple8) -> rule2) OR ((((triple13) -> rule1) triple8) -> rule2) OR ((((((triple12 triple16) -> rule6)) -> rule1) triple8) -> rule2))] The tiger is rough.[(triple12)] The tiger is round.[(triple13 OR ((triple12 triple16) -> rule6))] The tiger needs the mouse.[(triple14)] The tiger needs the squirrel.[(triple15 OR ((triple13) -> rule1) OR ((((triple12 triple16) -> rule6)) -> rule1))] The tiger sees the mouse.[(triple16)] @1: The mouse is cold.[(((triple3 triple8) -> rule2))] The squirrel is green.[(((triple8 triple7) -> rule5))] The squirrel is round.[(((triple6 triple8) -> rule6))] The tiger is green.[(((triple16 triple14) -> rule5))] @2: The squirrel needs the squirrel.[(((((triple6 triple8) -> rule6)) -> rule1))] The squirrel needs the tiger.[(((((triple8 triple7) -> rule5)) -> rule4))] The tiger needs the tiger.[(((((triple16 triple14) -> rule5)) -> rule4))] @3: The squirrel is cold.[(((((((triple6 triple8) -> rule6)) -> rule1) triple8) -> rule2))]