context: Dave is not cold. Gary is not the daughter of Erin. If Dave is not cold then Anne is not round. If Charlie is not Gary's son then Dave is blue. If Anne is not round then Charlie is not Gary's son. If Dave is blue and Gary is the daughter of Erin then The uncle of Fiona is not Anne.