The tiger is blue. The tiger is cold. The tiger is not green. The tiger is not red. The tiger is not young. If someone is young and red then they are cold. If someone is red and green then they are young. Red people are not young. If someone is young and green then they are red. All green, young people are blue. All young people are blue.
The tiger does not see the tiger.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is not green.[(triple3)] The tiger is not red.[(triple4)] The tiger is not young.[(triple5)]