context: Dave is not cold. The daughter of Erin is Gary. 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. Anne is the uncle of Fiona if Dave is blue and The daughter of Erin is Gary.