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. Harry is not Charlie's aunt if Fiona is quiet and The uncle of Harry is Gary.