context: Gary is not big. Charlie is 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 the uncle of Gary then Charlie is not cold.