Anne is nice. Anne is not young. Bob is kind. Bob is nice. Bob is red. Charlie is kind. Charlie is nice. Charlie is young. Dave is not big. Dave is not young. If something is not white then it is not big. If Bob is not big then Bob is young. Young things are kind. All white things are young. All big things are rough. If something is big and not white then it is not red. If something is white and not nice then it is rough. If Anne is rough and Anne is not young then Anne is big.
Anne is not nice.