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