Anne is nice. Anne is not red. Bob is red. Bob is young. Charlie is blue. Charlie is young. Gary is blue. Smart, blue people are young. Nice people are smart. Furry, blue people are red. If someone is not big then they are nice. All young, furry people are smart. If Gary is red then Gary is young. If Gary is young then Gary is furry. Young, nice people are blue. If someone is not red then they are not furry.
Bob is not red.