Anne is not kind. Anne is quiet. Anne is rough. Anne is not smart. Bob is blue. Bob is kind. Bob is quiet. Bob is not rough. Bob is not round. Bob is white. Charlie is blue. Charlie is not kind. Charlie is not quiet. Charlie is rough. Charlie is round. Charlie is white. Smart things are white. Kind things are blue. If Bob is white and Bob is not blue then Bob is round.
Anne is round.