The bear is kind. The bear is red. The bear sees the mouse. The bear visits the mouse. The bear does not visit the squirrel. The bear does not visit the tiger. The mouse chases the squirrel. The mouse does not chase the tiger. The mouse is big. The mouse sees the tiger. The squirrel is big. The squirrel is cold. The tiger chases the mouse. The tiger is cold. The tiger sees the mouse. The tiger visits the squirrel. If something chases the tiger and the tiger sees the squirrel then the squirrel sees the tiger. If something is cold then it sees the mouse. If the bear is big then the bear sees the tiger. If something chases the mouse and it is red then it sees the squirrel. If something sees the mouse then it sees the squirrel. If something sees the mouse then the mouse chases the squirrel. If something sees the squirrel then it does not chase the squirrel. If the squirrel sees the tiger and the squirrel does not see the mouse then the tiger is kind.
The squirrel is kind.
@0: The bear does not visit the squirrel.[(triple5)] The bear does not visit the tiger.[(triple6)] The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse chases the squirrel.[(triple7 OR ((triple15) -> rule6) OR ((triple3) -> rule6) OR ((((triple12) -> rule2)) -> rule6) OR ((((triple14) -> rule2)) -> rule6))] The mouse does not chase the tiger.[(triple8)] The mouse is big.[(triple9)] The mouse sees the tiger.[(triple10)] The squirrel is big.[(triple11)] The squirrel is cold.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger is cold.[(triple14)] The tiger sees the mouse.[(triple15 OR ((triple14) -> rule2))] The tiger visits the squirrel.[(triple16)] @1: The bear sees the squirrel.[(((triple3) -> rule5))] The squirrel sees the mouse.[(((triple12) -> rule2))] The tiger sees the squirrel.[(((triple15) -> rule5) OR ((((triple14) -> rule2)) -> rule5))] @2: The bear does not chase the squirrel.[(((((triple3) -> rule5)) -> rule7))] The squirrel sees the squirrel.[(((((triple12) -> rule2)) -> rule5))] The tiger does not chase the squirrel.[(((((triple15) -> rule5)) -> rule7) OR ((((((triple14) -> rule2)) -> rule5)) -> rule7))] @3: The squirrel does not chase the squirrel.[(((((((triple12) -> rule2)) -> rule5)) -> rule7))]