Anne is big. Anne is cold. Anne is not green. Anne is kind. Anne is nice. Anne is not quiet. Anne is not red. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. If Anne is big and Anne is quiet then Anne is green. If something is green then it is quiet. If Anne is not cold then Anne is big. If Anne is red and Anne is not cold then Anne is kind. If Harry is not nice then Harry is quiet. If something is not quiet then it is big.
Harry is not green.