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.
Fiona is not smart.
@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))]