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