The mouse is blue. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. The mouse likes the squirrel. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel visits the mouse. If something visits the squirrel and the squirrel needs the mouse then the squirrel visits the mouse. If something is kind and blue then it needs the squirrel. Rough things are kind. If something likes the squirrel then the squirrel likes the mouse. If something visits the squirrel then it is rough. If something needs the mouse then the mouse visits the squirrel.
The squirrel is not green.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(triple3 OR ((triple5) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule5)) -> rule3))] The mouse is nice.[(triple4)] The mouse is rough.[(triple5 OR ((triple8) -> rule5) OR ((((triple15) -> rule6)) -> rule5))] The mouse likes the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7 OR ((triple3 triple1) -> rule2) OR ((((triple5) -> rule3) triple1) -> rule2) OR ((((((triple8) -> rule5)) -> rule3) triple1) -> rule2) OR ((((((((triple15) -> rule6)) -> rule5)) -> rule3) triple1) -> rule2))] The mouse visits the squirrel.[(triple8 OR ((triple15) -> rule6))] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11 OR ((triple13) -> rule3))] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the mouse.[(triple14 OR ((triple6) -> rule4))] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16 OR ((triple8 triple15) -> rule1) OR ((((triple15) -> rule6) triple15) -> rule1))] @1: The squirrel needs the squirrel.[(((triple11 triple9) -> rule2) OR ((((triple13) -> rule3) triple9) -> rule2))]