context: Gary is not big. Charlie is not Gary's uncle. Erin is not Dave's uncle if Charlie is not cold. The husband of Anne is Charlie if Erin is not the uncle of Dave. If Gary is not big and Charlie is Gary's uncle then Charlie is cold.