Anne is cold. Charlie is cold. Erin is big. Harry is young. All young things are kind. All round things are kind. If Harry is kind then Harry is round.
Harry is big.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple2)] Erin is big.[(triple3)] Harry is young.[(triple4)] @1: Harry is kind.[(((triple4) -> rule1))] @2: Harry is round.[(((((triple4) -> rule1)) -> rule3))]