The bear eats the tiger. The bear is rough. The bear visits the tiger. The mouse is red. The squirrel visits the mouse. The squirrel visits the tiger. The tiger eats the bear. The tiger eats the mouse. The tiger eats the squirrel. The tiger is rough. The tiger visits the bear. The tiger visits the squirrel. If someone is red and round then they visit the squirrel.
The tiger chases the mouse.
@0: The bear eats the tiger.[(triple1)] The bear is rough.[(triple2)] The bear visits the tiger.[(triple3)] The mouse is red.[(triple4)] The squirrel visits the mouse.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger eats the bear.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is rough.[(triple10)] The tiger visits the bear.[(triple11)] The tiger visits the squirrel.[(triple12)]