context: Dave is not cold. The uncle of Harry is Fiona. If Dave is not cold then Anne is not round. If Anne is not round then Charlie is not Gary's son. If Fiona is Harry's uncle and Charlie is not the son of Gary then Dave is not Bob's wife.