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