Anne is round. Dave is cold. Gary is smart. All smart people are cold.
Gary is cold.
@0: Anne is round.[(triple1)] Dave is cold.[(triple2)] Gary is smart.[(triple3)] @1: Gary is cold.[(((triple3) -> rule1))]