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