Anne is blue. Anne is green. Anne is red. Anne is round. Anne is white. Anne is young. Bob is blue. Bob is red. Bob is young. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. All rough, round people are young. All rough, young people are white. All red people are white. If someone is blue and red then they are green. All round people are rough. If Bob is white then Bob is round. All round people are red. If Bob is blue then Bob is young.
Anne is not rough.