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