The lion is young. If something is young then it is kind. If something is blue and rough then it is red. If the lion is rough and the lion is red then the lion is blue. All blue, red things are young. All young, rough things are kind. If something is kind and young then it is rough.
The lion is not young.
@0: The lion is young.[(triple1)] @1: The lion is kind.[(((triple1) -> rule1))] @2: The lion is rough.[(((((triple1) -> rule1) triple1) -> rule6))]