context: Dave is not cold. Dave is nice. If Dave is not cold then Anne is not round. If Anne is not round then Charlie is not Gary's son. If Dave is nice and Charlie is not the son of Gary then Dave is not blue.