Charlie is red. Gary is furry. Gary is round. Round, blue things are not quiet. If something is quiet then it is blue. If something is blue then it is not smart. If something is round and not furry then it is not blue. If something is quiet then it is round. If something is quiet then it is not cold. If something is cold and not furry then it is smart. All blue things are not cold.
Gary is not furry.