The lion is rough. If the lion is rough then the lion is kind. If something is big and not rough then it is kind. Big, rough things are cold. Cold things are big. If something is kind and not big then it is nice. All cold things are nice.
The lion is rough.
@0: The lion is rough.[(triple1)] @1: The lion is kind.[(((triple1) -> rule1))]