Anne is big. Anne is red. Dave is big. If someone is furry and big then they are smart. Smart, big people are cold. If someone is smart then they are young. If someone is red and smart then they are big. Smart people are young. If someone is young and smart then they are red. If Dave is cold and Dave is white then Dave is furry. All furry people are young.
Anne is not red.