Bob is blue. Bob is furry. Bob is nice. Bob is smart. Bob is young. Charlie is furry. Erin is blue. Erin is furry. Erin is young. Gary is cold. Gary is furry. Nice, furry things are red. Young, nice things are red. All nice things are blue. If something is furry then it is smart. If something is cold and blue then it is nice. Blue things are young. If something is smart then it is red. If something is red then it is nice. Furry, cold things are red.
Erin is not young.