Harry is furry. Harry is nice. Harry is young. If Harry is furry then Harry is big. If something is nice and big then it is cold.
Harry is cold.
@0: Harry is furry.[(triple1)] Harry is nice.[(triple2)] Harry is young.[(triple3)] @1: Harry is big.[(((triple1) -> rule1))] @2: Harry is cold.[(((triple2 ((triple1) -> rule1)) -> rule2))]