Anne is green. Anne is nice. Charlie is green. Charlie is not kind. Gary is not red. Gary is smart. Harry is green. Harry is nice. Harry is quiet. Harry is smart. If something is red and quiet then it is kind. If something is green and not red then it is nice. Kind things are not red. If something is kind then it is round. All smart, green things are kind. If something is not nice and not round then it is quiet.
Harry is not round.