context: Gary is not big. Dave is not big. Bob is not cold if Harry is the aunt of Charlie. 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 Dave is big and The uncle of Harry is Gary then The aunt of Charlie is Harry.