Anne is round. Anne is white. Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is white. Dave is blue. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is not round. Dave is white. If something is not round then it is rough. All round, rough things are green. Round, red things are not rough. If something is white and not red then it is blue. If something is rough and round then it is not quiet. If Dave is not quiet then Dave is not white.
Anne is red.