Anne is not big. Anne is cold. Anne is kind. Anne is round. Anne is not smart. Charlie is cold. Charlie is not smart. Charlie is young. Dave is kind. Dave is round. Dave is smart. Dave is white. If Anne is white and Anne is not smart then Anne is round. If Dave is round and Dave is not big then Dave is kind.
Charlie is round.