Bob is not blue. Bob is furry. Bob is smart. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is smart. Erin is white. Fiona is cold. Fiona is nice. Fiona is red. If Fiona is red then Fiona is white. If Erin is blue and Erin is not white then Erin is nice. If Erin is white then Erin is smart. All white, smart things are red. If something is white and not smart then it is blue. If something is cold and not white then it is not blue. If Erin is furry and Erin is not blue then Erin is red. If something is not red then it is not blue.
Bob is smart.