Bob is not blue. Bob is green. Bob is kind. Bob is nice. Bob is smart. Erin is blue. Erin is green. Erin is kind. Erin is not smart. Erin is young. If something is red and smart then it is green. If Erin is nice then Erin is not green. If something is red and not smart then it is not green. Red things are not nice. Young things are not nice. If something is red and green then it is kind. If Bob is young and Bob is not kind then Bob is nice. If something is young and not kind then it is nice.
Bob is not red.