The tiger is cold. The tiger is green. The tiger is nice. The tiger is not red. The tiger is round. If the tiger is green and the tiger is not round then the tiger is cold.
The tiger is not nice.
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is not red.[(triple4)] The tiger is round.[(triple5)]