The mouse chases the squirrel. The mouse is big. The mouse is kind. The mouse likes the tiger. The squirrel chases the tiger. The squirrel likes the mouse. The tiger chases the mouse. The tiger chases the squirrel. The tiger likes the squirrel. The tiger visits the squirrel. If the tiger visits the squirrel and the squirrel visits the mouse then the tiger is young. If someone is kind then they chase the mouse. If someone likes the squirrel and the squirrel visits the tiger then they chase the tiger. If someone likes the squirrel then the squirrel is kind. If someone is kind then they visit the tiger. If someone visits the mouse then they chase the tiger. If someone is big and rough then they chase the squirrel. If the mouse chases the squirrel then the mouse likes the squirrel.
The squirrel is not blue.
@0: The mouse chases the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is kind.[(triple3)] The mouse likes the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel likes the mouse.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The mouse chases the mouse.[(((triple3) -> rule2))] The mouse likes the squirrel.[(((triple1) -> rule8))] The mouse visits the tiger.[(((triple3) -> rule5))] The squirrel is kind.[(((triple9) -> rule4) OR ((((triple1) -> rule8)) -> rule4))] @2: The squirrel chases the mouse.[(((((triple9) -> rule4)) -> rule2) OR ((((((triple1) -> rule8)) -> rule4)) -> rule2))] The squirrel visits the tiger.[(((((triple9) -> rule4)) -> rule5) OR ((((((triple1) -> rule8)) -> rule4)) -> rule5))] @3: The mouse chases the tiger.[(((((triple1) -> rule8) ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule4)) -> rule5)) -> rule3))] The tiger chases the tiger.[(((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((triple9 ((((((triple1) -> rule8)) -> rule4)) -> rule5)) -> rule3))]