Anne is green. Bob is green. Charlie is kind. Gary is white. All young people are white. If someone is young and white then they are cold. All kind people are young.
Charlie is cold.
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Charlie is kind.[(triple3)] Gary is white.[(triple4)] @1: Charlie is young.[(((triple3) -> rule3))] @2: Charlie is white.[(((((triple3) -> rule3)) -> rule1))] @3: Charlie is cold.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule2))]