Anne is big. Anne is blue. Anne is furry. Anne is smart. Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is smart. Harry is blue. Harry is furry. All green things are blue. All blue things are kind. All big, green things are furry.
Harry is not furry.