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