Anne is rough. Anne is white. Bob is big. Bob is not blue. Bob is rough. Bob is round. Bob is smart. Bob is white. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. If something is rough and not blue then it is round. If something is not smart then it is red.
Anne is white.