Charlie is cold. Fiona is cold. Gary is round. Harry is smart. If something is nice and furry then it is smart. All cold things are furry.
Gary is round.
@0: Charlie is cold.[(triple1)] Fiona is cold.[(triple2)] Gary is round.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is furry.[(((triple1) -> rule2))] Fiona is furry.[(((triple2) -> rule2))]