Anne is not smart. Charlie is red. If someone is round and not green then they are rough. If Anne is furry then Anne is not green. All round people are red. If Charlie is red and Charlie is not quiet then Charlie is round. If someone is smart then they are red. If someone is rough then they are not smart.
Charlie is red.