Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Harry is blue. Harry is green. Harry is kind. Harry is not quiet. Harry is red. Harry is not rough. Harry is smart. If something is kind then it is red. If Anne is not rough and Anne is not smart then Anne is kind. Smart, red things are kind. If something is smart and rough then it is kind. Green things are kind. If something is green and not blue then it is not kind.
Harry is not smart.