context: Gary is not big. Fiona is round. Charlie is not cold if Gary is not big. Erin is not Dave's uncle if Charlie is not cold. If Fiona is round and Erin is not Dave's uncle then Charlie is not Anne's husband.