The tiger is rough. All kind things are green. All cold things are green. All kind, blue things are cold. All kind, cold things are blue. All cold, green things are rough. Blue, green things are cold. All green, cold things are kind. If the tiger is green and the tiger is rough then the tiger is blue.
The tiger is rough.
@0: The tiger is rough.[(triple1)]