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