context: Dave is not Gary's daughter. Gary is not nice if The daughter of Gary is not Dave. If Gary is not nice then Harry is not young. The aunt of Anne is Fiona if Harry is not young. If Fiona is Anne's aunt then Charlie is not the mother of Gary. If The mother of Gary is not Charlie then Anne is not furry.