The lion is rough. If the lion is not big then the lion is cold. All rough things are young. Big things are young. If something is young then it is round. If something is rough and not young then it is not round. If something is big then it is round.
The lion is not cold.
@0: The lion is rough.[(triple1)] @1: The lion is young.[(((triple1) -> rule2))] @2: The lion is round.[(((((triple1) -> rule2)) -> rule4))]