Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Dave is red. Gary is blue. Gary is green. Gary is kind. Gary is red. Young things are kind. If Dave is red and Dave is young then Dave is blue. If Bob is red then Bob is furry. Green things are furry. All furry things are kind. Green things are red.
Dave is not blue.