The mouse eats the tiger. The mouse is big. The mouse is cold. The mouse is not red. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. The tiger is cold. The tiger is nice. The tiger likes the mouse. The tiger sees the mouse. If something is red then it sees the tiger.
The mouse is not big.
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is not red.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger eats the mouse.[(triple7)] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger sees the mouse.[(triple12)]