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