The bear is nice. The mouse visits the bear. The squirrel chases the tiger. The squirrel eats the mouse. The squirrel visits the tiger. The tiger chases the squirrel. The tiger visits the squirrel. If someone eats the mouse and the mouse chases the squirrel then the squirrel is kind. If the mouse chases the squirrel and the mouse eats the tiger then the mouse eats the bear. If someone is rough then they eat the mouse. If someone is red and they eat the tiger then they eat the bear. If the tiger visits the mouse and the tiger visits the squirrel then the squirrel visits the tiger. If the mouse is rough and the mouse eats the tiger then the mouse visits the tiger. If the tiger is nice and the tiger visits the bear then the tiger eats the mouse. If the bear visits the mouse then the bear is red.
The mouse does not eat the mouse.
@0: The bear is nice.[(triple1)] The mouse visits the bear.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel eats the mouse.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger visits the squirrel.[(triple7)]