Bob is furry. Erin is furry. Gary is white. All white things are blue. If Erin is furry then Erin is smart. Green, red things are kind. Blue things are white. If Erin is kind then Erin is furry. All furry things are blue.
Erin is not red.