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 not white.
@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))]