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 not 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))]