The tiger is red. Red, young people are kind. If someone is young and kind then they are blue. Red people are young.
The tiger is not blue.
@0: The tiger is red.[(triple1)] @1: The tiger is young.[(((triple1) -> rule3))] @2: The tiger is kind.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The tiger is blue.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]