Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is smart. Bob is blue. Bob is furry. Bob is rough. Erin is not blue. Erin is green. If Anne is red then Anne is furry. If someone is rough and furry then they are kind. All green people are red.
Anne is green.