The lion is not blue. The lion is cold. The lion is not nice. The lion is not red. The lion is young. All nice things are young. Nice things are young. If the lion is red and the lion is young then the lion is not cold. If the lion is young and the lion is nice then the lion is red. Red, nice things are not blue. Young, red things are nice.
The lion is cold.
@0: The lion is cold.[(triple2)] The lion is not blue.[(triple1)] The lion is not nice.[(triple3)] The lion is not red.[(triple4)] The lion is young.[(triple5)]