Anne is quiet. Charlie is not blue. Fiona is blue. Gary is not cold. If Charlie is furry then Charlie is cold.
Charlie is not blue.
@0: Anne is quiet.[(triple1)] Charlie is not blue.[(triple2)] Fiona is blue.[(triple3)] Gary is not cold.[(triple4)]