Anne is white. Bob is not blue. Bob is furry. Bob is rough. Bob is smart. Bob is white. Bob is not young. Erin is blue. Erin is furry. Erin is smart. Erin is white. Erin is young. Fiona is blue. Fiona is round. Fiona is smart. Fiona is young. If something is round and not smart then it is white. Smart things are furry. All furry things are round. If something is not blue then it is rough. If something is white then it is round. If Erin is smart and Erin is not round then Erin is white.
Bob is smart.