Dave is blue. Fiona is blue. Gary is round. All nice, cold things are white. If something is blue then it is cold. Young things are cold.
Gary is not cold.
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] @1: Dave is cold.[(((triple1) -> rule2))] Fiona is cold.[(((triple2) -> rule2))]