context: Dave is not cold. If Dave is not cold then Anne is not round. If Anne is not round then Charlie is not Gary's son. If Charlie is not Gary's son then Dave is blue. Anne is Fiona's uncle if Dave is blue. Charlie is not Dave's husband if The uncle of Fiona is Anne.