The bear chases the mouse. The bear eats the mouse. The bear is big. The bear is red. The bear visits the tiger. The mouse eats the tiger. The tiger is kind. If something visits the tiger and it is kind then it is blue. If something is kind and not blue then it does not visit the mouse.
The bear does not eat the mouse.
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is big.[(triple3)] The bear is red.[(triple4)] The bear visits the tiger.[(triple5)] The mouse eats the tiger.[(triple6)] The tiger is kind.[(triple7)]