Bob is smart. Dave is nice. Gary is nice. All cold things are big. If something is white and quiet then it is nice. All round, nice things are white. If something is smart and not nice then it is round. If Bob is not nice then Bob is smart. If something is not smart then it is quiet. If Bob is not smart then Bob is white. If something is not white then it is not cold.
Dave is smart.