The squirrel chases the tiger. The squirrel is blue. The squirrel is green. The squirrel is young. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is blue. If someone chases the tiger and they are blue then they chase the squirrel. If someone is kind then they see the tiger. If someone chases the tiger then the tiger is blue. If the tiger sees the squirrel then the tiger chases the squirrel. If someone sees the tiger then they eat the squirrel. If the tiger chases the squirrel and the tiger sees the squirrel then the squirrel eats the tiger. If someone sees the squirrel then the squirrel eats the tiger. If someone chases the squirrel and they see the tiger then the tiger chases the squirrel.
The squirrel is not blue.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3)] The squirrel is young.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the squirrel.[(triple6 OR ((((triple1 triple2) -> rule1) triple5) -> rule8))] The tiger is blue.[(triple7 OR ((triple1) -> rule3))] @1: The squirrel chases the squirrel.[(((triple1 triple2) -> rule1))] The squirrel eats the squirrel.[(((triple5) -> rule5))]