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