Anne is blue. Anne is furry. Anne is red. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Harry is furry. Harry is green. Harry is red. Harry is rough. If Anne is furry then Anne is round. If something is red then it is round. If something is furry and green then it is red.
Charlie is not green.