Anne is big. Anne is green. Anne is round. Anne is white. Bob is big. Bob is green. Bob is red. Bob is round. Dave is green. Dave is nice. If something is round and not red then it is young. If something is white and not red then it is green. If something is not round then it is big. Red things are white. Nice things are white. If something is not green and not round then it is not young. If Bob is white and Bob is not young then Bob is big. If Bob is not green then Bob is not white.
Dave is not young.