context: Gary is not big. The uncle of Harry is Fiona. 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. Charlie is not cold if Gary is not big and Fiona is Harry's uncle.