The tiger is big. The tiger is not blue. The tiger is not green. The tiger is kind. The tiger is not red. Kind, red things are big. If something is green and kind then it is not big. If something is red and blue then it is not big. Green, blue things are kind. If something is red and green then it is kind. All big, red things are green. Blue things are not green. If something is green and not red then it is blue.
The tiger sees the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple4)] The tiger is not blue.[(triple2)] The tiger is not green.[(triple3)] The tiger is not red.[(triple5)]