Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Anne is young. Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is young. If Anne is red then Anne is big. If Anne is kind then Anne is red. All young, red people are kind. All furry, kind people are big. If someone is red then they are furry. All cold, young people are furry.
Bob is not furry.