\v=16
\v~=\w And|strong="G2532"\w* \w he|strong="G2532"\w* \w hath|strong="G2192"\w* \w on|strong="G1909"\w* \w his|strong="G1909"\w* \w garment|strong="G2440"\w* \w and|strong="G2532"\w* \w on|strong="G1909"\w* \w his|strong="G1909"\w* \w thigh|strong="G3382"\w* \w a|strong="G2192"\w* \w name|strong="G3686"\w* \w written|strong="G1125"\w*, \w KING|strong="G3588"\w* \w OF|strong="G2532"\w* \w KINGS|strong="G3588"\w*, \w AND|strong="G2532"\w* \w LORD|strong="G2962"\w* \w OF|strong="G2532"\w* \w LORDS|strong="G2962"\w*. 
\¬v
\¬p