Charlie is blue. Dave is cold. Erin is smart. Gary is not blue. Rough, smart things are not blue. If something is not big then it is smart. If something is big then it is not white. All big things are round. If something is smart then it is cold. All cold things are white. If something is rough and not round then it is blue. If something is not smart then it is not round.
Gary is cold.