The lion is cold. If the lion is kind and the lion is nice then the lion is young. If something is cold then it is not kind. Round things are kind.
The lion is not cold.
@0: The lion is cold.[(triple1)] @1: The lion is not kind.[(((triple1) -> rule2))]