The tiger is red. All green people are red. Rough people are green. Rough people are red. All rough people are nice. All nice, green people are cold. All red, nice people are cold.
The tiger is red.
@0: The tiger is red.[(triple1)]