Charlie is young. Harry is furry. If Charlie is young then Charlie is round. If something is round and red then it is green. Smart things are cold. If Charlie is furry then Charlie is red. Smart, red things are green. All round things are furry. Cold, round things are red. Smart things are red.
Charlie is not round.