The tiger is round. All red people are big. If the tiger is cold and the tiger is red then the tiger is big. If someone is big and blue then they are red.
The tiger is not red.
@0: The tiger is round.[(triple1)]