Charlie is blue. Charlie is kind. Charlie is quiet. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is young. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is round. If someone is blue and round then they are kind. Quiet people are furry. All blue, red people are quiet. All kind, furry people are young. If Dave is blue and Dave is furry then Dave is kind. If Harry is young and Harry is quiet then Harry is red. Young, red people are blue. Furry people are quiet.
Charlie is not red.