\v=20
\v~=\w And|strong="G2532"\w* \w when|strong="G3753"\w* \w they|strong="G2532"\w* \w had|strong="G2532"\w* \w mocked|strong="G1702"\w* \w him|strong="G3588"\w*, \w they|strong="G2532"\w* \w took|strong="G2532"\w* \w off|strong="G1562"\w* \w from|strong="G2532"\w* \w him|strong="G3588"\w* \w the|strong="G2532"\w* \w purple|strong="G4209"\w*, \w and|strong="G2532"\w* \w put|strong="G1746"\w* \w on|strong="G1746"\w* \w him|strong="G3588"\w* \w his|strong="G2398"\w* \w garments|strong="G2440"\w*. \w And|strong="G2532"\w* \w they|strong="G2532"\w* \w lead|strong="G1806"\w* \w him|strong="G3588"\w* \w out|strong="G1806"\w* \w to|strong="G2443"\w* \w crucify|strong="G4717"\w* \w him|strong="G3588"\w*. 
\¬v
\¬p