Charlie is round. Erin is cold. Fiona is red. Gary is cold. Cold people are furry.
Charlie is furry.
@0: Charlie is round.[(triple1)] Erin is cold.[(triple2)] Fiona is red.[(triple3)] Gary is cold.[(triple4)] @1: Erin is furry.[(((triple2) -> rule1))] Gary is furry.[(((triple4) -> rule1))]