Anne is big. Charlie is round. All furry things are not cold. If something is white then it is furry. If something is rough and not smart then it is big. Cold, round things are white. All round things are rough. If Charlie is cold and Charlie is not white then Charlie is round. If something is not furry then it is round. If something is smart and not round then it is big.
Charlie is smart.