The bear sees the tiger. The mouse is big. The mouse is blue. The mouse is cold. The mouse sees the squirrel. The mouse sees the tiger. The squirrel eats the tiger. The squirrel is nice. The squirrel visits the mouse. The tiger eats the mouse. The tiger is nice. The tiger sees the squirrel. If something eats the tiger then the tiger is nice. If something visits the squirrel then the squirrel eats the mouse. If something visits the tiger and it is nice then the tiger visits the squirrel. If something sees the mouse then the mouse visits the squirrel. If something is nice and it visits the tiger then the tiger is cold. If the bear visits the squirrel then the squirrel sees the tiger.
The mouse is not blue.
@0: The bear sees the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse sees the squirrel.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is nice.[(triple8)] The squirrel visits the mouse.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is nice.[(triple11 OR ((triple7) -> rule1))] The tiger sees the squirrel.[(triple12)]