Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Kind, blue people are nice. All red people are green. If someone is green then they are quiet. If Charlie is quiet and Charlie is green then Charlie is nice. If someone is blue and nice then they are furry. If someone is quiet and blue then they are kind. If someone is kind then they are quiet. All green, furry people are red.
Bob is not red.