Charlie is smart. If Charlie is round and Charlie is big then Charlie is red. All cold, round people are not furry. Red people are not furry. If someone is red then they are cold. If someone is big and smart then they are cold. If someone is not round then they are big. If someone is not round then they are furry. If someone is round and not smart then they are green.
Charlie is red.