The mouse is blue. The mouse is kind. The mouse does not like the squirrel. The mouse likes the tiger. The mouse needs the squirrel. The squirrel does not chase the mouse. The squirrel chases the tiger. The squirrel is kind. The squirrel is young. The squirrel likes the mouse. The squirrel needs the tiger. The tiger needs the mouse. If something is blue then it likes the tiger. If something chases the squirrel then it is not nice. If something likes the tiger and the tiger likes the mouse then it chases the squirrel. If something chases the tiger then it chases the squirrel. If something chases the squirrel and it is nice then the squirrel needs the tiger. If something is red then it needs the squirrel.
The tiger is blue.
@0: The mouse does not like the squirrel.[(triple3)] The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse likes the tiger.[(triple4 OR ((triple1) -> rule1))] The mouse needs the squirrel.[(triple5)] The squirrel chases the tiger.[(triple7)] The squirrel does not chase the mouse.[(triple6)] The squirrel is kind.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the mouse.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The squirrel chases the squirrel.[(((triple7) -> rule4))] @2: The squirrel is not nice.[(((((triple7) -> rule4)) -> rule2))]