The bear is round. The bear visits the mouse. The mouse does not need the bear. The mouse visits the bear. The tiger is nice. The tiger needs the mouse. The tiger visits the bear. If someone sees the mouse then the mouse visits the bear. If someone visits the bear and the bear is nice then they see the bear. If someone sees the bear and they are round then the bear is cold. If someone needs the bear and the bear sees the mouse then the bear is red. If someone is red then they need the bear. If the mouse visits the bear and the bear does not see the mouse then the mouse is cold. If someone is red then they see the tiger. If someone needs the tiger then the tiger visits the bear.
The bear visits the tiger.
@0: The bear is round.[(triple1)] The bear visits the mouse.[(triple2)] The mouse does not need the bear.[(triple3)] The mouse visits the bear.[(triple4)] The tiger is nice.[(triple5)] The tiger needs the mouse.[(triple6)] The tiger visits the bear.[(triple7)]