Dave is blue. Dave is young. Gary is white. White people are cold.
Dave is round.
@0: Dave is blue.[(triple1)] Dave is young.[(triple2)] Gary is white.[(triple3)] @1: Gary is cold.[(((triple3) -> rule1))]