Anne is furry. Anne is nice. Anne is smart. Bob is red. Erin is furry. Erin is green. Erin is young. If Bob is red then Bob is smart. All smart people are nice. If Bob is nice and Bob is smart then Bob is green.
Bob is not nice.