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 does not see the lion.
@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))]