Anne is big. Anne is green. Anne is kind. Anne is red. Anne is white. Dave is big. Dave is green. Dave is kind. Dave is red. Dave is smart. Kind, blue things are green. Red, blue things are green. Green, kind things are red. If Dave is red and Dave is smart then Dave is green. If something is green then it is blue. All big, red things are green. Red, big things are green. If Anne is smart and Anne is green then Anne is blue.
Anne is not blue.