The lion is young. The lion sees the squirrel. The lion visits the squirrel. The mouse chases the squirrel. The mouse is red. The squirrel chases the tiger. The squirrel is green. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is blue. If something chases the lion then the lion is big. If something is green and it chases the tiger then it sees the tiger. If something is big and it chases the squirrel then it is blue. If something visits the tiger then the tiger is red. If the lion is big then the lion sees the mouse. If something is green and it chases the lion then it visits the tiger.
The lion is not blue.
@0: The lion is young.[(triple1)] The lion sees the squirrel.[(triple2)] The lion visits the squirrel.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is red.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is green.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is blue.[(triple10)] @1: The squirrel sees the tiger.[(((triple7 triple6) -> rule2))] The tiger is red.[(((triple8) -> rule4))]