Anne is kind. Anne is not quiet. Anne is round. Anne is white. Charlie is blue. Charlie is not kind. Charlie is not quiet. Charlie is rough. Charlie is round. Dave is blue. Dave is kind. Dave is quiet. Dave is round. Dave is white. Dave is young. If Anne is young then Anne is not blue. If Dave is kind then Dave is rough.
Charlie is rough.