The tiger is young. Young people are kind. If someone is cold then they are young. Young, kind people are cold. Cold people are round. If someone is kind and cold then they are round. If someone is nice then they are round. Cold people are kind. Round, young people are kind.
The tiger is not kind.
@0: The tiger is young.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule1))] @2: The tiger is cold.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: The tiger is round.[(((((triple1 ((triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule5))]