Anne is furry. Anne is red. Bob is not big. Bob is quiet. Dave is big. Dave is green. Harry is green. All white, green people are not kind. If someone is quiet and not red then they are green. All quiet, red people are big. Green people are white. White people are green. If someone is not white and not quiet then they are not kind.
Bob is not red.