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