Harry is cold. Harry is not furry. Harry is young. If something is young and cold then it is round. All cold, round things are kind. If Harry is quiet and Harry is not young then Harry is furry.
Harry is white.
@0: Harry is cold.[(triple1)] Harry is not furry.[(triple2)] Harry is young.[(triple3)] @1: Harry is round.[(((triple3 triple1) -> rule1))] @2: Harry is kind.[(((triple1 ((triple3 triple1) -> rule1)) -> rule2))]