The lion is nice. If the lion is red then the lion is young. If the lion is green and the lion is red then the lion is cold. If the lion is red and the lion is young then the lion is cold. If someone is green then they are nice. If someone is green then they are nice. If someone is cold then they are green. If someone is cold and young then they are green. Red, cold people are green.
The lion is not nice.
@0: The lion is nice.[(triple1)]