The lion is not blue. The lion is not cold. The lion is kind. The lion is not nice. The lion is not red. All blue, nice people are not kind. If the lion is nice then the lion is red. If someone is blue and kind then they are cold. If the lion is blue and the lion is not kind then the lion is cold. All blue people are not red. If someone is cold then they are red. If someone is blue then they are red. If someone is nice and not kind then they are red.
The lion is blue.
@0: The lion is kind.[(triple3)] The lion is not blue.[(triple1)] The lion is not cold.[(triple2)] The lion is not nice.[(triple4)] The lion is not red.[(triple5)]