The lion is cold. The lion is not rough. The lion is round. All rough, cold things are round. All cold things are not rough. If something is cold and not kind then it is rough. If the lion is rough then the lion is round. If something is cold then it is nice. If something is rough then it is nice. If something is rough and not round then it is nice. If something is round and not kind then it is nice.
The lion is not kind.
@0: The lion is cold.[(triple1)] The lion is not rough.[(triple2 OR ((triple1) -> rule2))] The lion is round.[(triple3)] @1: The lion is nice.[(((triple1) -> rule5))]