Anne is green. Anne is round. Charlie is blue. Charlie is kind. Dave is green. Dave is kind. Dave is nice. Harry is kind. Harry is nice. Harry is rough. If Charlie is rough and Charlie is not green then Charlie is nice. If Charlie is big and Charlie is kind then Charlie is nice. If Harry is kind and Harry is not nice then Harry is big. All rough people are kind. If someone is nice and not green then they are round. If someone is round and nice then they are big. If someone is nice then they are blue. If Charlie is green and Charlie is round then Charlie is kind.
Harry is not big.