context: Gary is not big. Charlie is not cold if Gary is not big. Erin is not Dave's uncle if Charlie is not cold. Gary is the uncle of Harry if Erin is not the uncle of Dave. If Gary is the uncle of Harry then Harry is the aunt of Charlie.