Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is round. Anne is smart. Charlie is big. Charlie is blue. Charlie is smart. Harry is blue. Harry is furry. Harry is green. If something is blue then it is round. If something is big and furry then it is green. All green things are round.
Charlie is not green.