Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Gary is furry. Gary is kind. Gary is quiet. Harry is blue. Harry is cold. Harry is quiet. Harry is smart. If Gary is kind and Gary is smart then Gary is blue. If something is furry and cold then it is blue. If Erin is rough and Erin is blue then Erin is smart.
Gary is not blue.