context: Gary is not big. Gary is the son of Erin. 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 The uncle of Harry is Gary and The son of Erin is Gary then Harry is not Charlie's aunt.