Charlie is green. Charlie is kind. Erin is green. Erin is nice. Erin is red. Erin is round. Harry is red. All red, nice things are rough. If something is kind then it is blue. If something is red and not green then it is kind. If Harry is kind then Harry is nice. If something is green and not kind then it is not blue. If something is not kind and not rough then it is red.
Charlie is not round.