Anne is big. Anne is green. Anne is smart. Bob is furry. Bob is not rough. Bob is young. Erin is big. Erin is furry. Erin is smart. Gary is big. Gary is green. Gary is young. If someone is young then they are blue. If someone is not smart then they are furry. If someone is green and not big then they are not furry. All smart people are not young. All big, young people are furry. If someone is blue and not furry then they are green.
Bob is not blue.