Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is smart. Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is white. Harry is furry. Harry is green. Harry is kind. Harry is smart. Harry is white. All green things are big. Kind things are furry. If Anne is smart and Anne is white then Anne is furry. If Harry is furry then Harry is white. If Anne is kind then Anne is green. If Anne is green and Anne is blue then Anne is kind.
Harry is not big.