The lion is cold. If the lion is cold and the lion is blue then the lion is nice. If something is cold and not red then it is blue. If something is blue and red then it is nice. If something is cold then it is nice. All cold, red things are young. If something is red and not blue then it is young.
The lion is red.
@0: The lion is cold.[(triple1)] @1: The lion is nice.[(((triple1) -> rule4))]