Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is not round. Erin is smart. Gary is big. Gary is not blue. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is not smart. If Erin is not smart then Erin is quiet.
Gary is blue.