context: Gary is not big. Harry is furry. Charlie is not cold if Gary is not big. Erin is not Dave's uncle if Charlie is not cold. If Harry is furry and Erin is not the uncle of Dave then Gary is not Harry's uncle.