Anne is furry. Anne is green. Anne is nice. Anne is young. Bob is furry. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Harry is furry. Harry is nice. Harry is white. All red, white people are young. If Bob is white then Bob is kind. All young people are white.
Bob is white.