context: Gary is not big. Fiona is not green. Charlie is not cold if Gary is not big. If Erin is not Dave's uncle then Erin is not smart. The uncle of Dave is not Erin if Fiona is green and Charlie is not cold.