Anne is blue. Anne is rough. Dave is blue. Dave is green. Dave is red. Dave is smart. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. All blue people are nice. If Dave is red then Dave is smart. All green people are nice. If Gary is red and Gary is quiet then Gary is smart. Nice, rough people are smart. All rough, blue people are smart.
Anne is not green.