Erin is round. Fiona is young. Gary is blue. Harry is quiet. If Fiona is blue then Fiona is round. If Harry is round then Harry is white. All red, round people are blue. If Fiona is round then Fiona is cold. Cold people are white. All blue people are red.
Harry is not white.
@0: Erin is round.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Harry is quiet.[(triple4)] @1: Gary is red.[(((triple3) -> rule6))]