Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is smart. Anne is white. Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is white. All white things are furry. All red, rough things are white. All big, smart things are red. If something is big then it is rough. If something is rough then it is red. Big, white things are smart. All red, white things are rough. All blue things are red.
Bob is blue.