The lion is not cold. The lion is red. The lion is young. If something is young and not cold then it is not nice.
The lion is cold.
@0: The lion is not cold.[(triple1)] The lion is red.[(triple2)] The lion is young.[(triple3)] @1: The lion is not nice.[(((triple3 triple1) -> rule1))]