Bob is blue. Charlie is red. Erin is furry. Quiet people are blue. All blue people are nice. If someone is quiet and red then they are nice. If someone is furry then they are quiet. If someone is not blue and not red then they are not furry. If someone is blue and not nice then they are young.
Erin is red.