Charlie is round. Charlie is smart. Harry is big. If Charlie is red then Charlie is big. Blue things are red. If Harry is nice then Harry is big. If something is red and not young then it is round. If something is round and not young then it is blue. If something is young and smart then it is not blue. All blue, nice things are smart. If something is blue and not red then it is not young.
Charlie is red.