Anne is big. Anne is nice. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is smart. If someone is young then they are white. If Charlie is cold and Charlie is not big then Charlie is not young.
Charlie is not smart.