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.
Fiona is blue.
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] @1: Dave is cold.[(((triple1) -> rule2))] Fiona is cold.[(((triple2) -> rule2))]