\v=31
\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 robe|strong="G2440"\w*, \w and|strong="G2532"\w* \w put|strong="G1746"\w* \w on|strong="G1519"\w* \w him|strong="G3588"\w* \w his|strong="G1519"\w* \w garments|strong="G2440"\w*, \w and|strong="G2532"\w* \w led|strong="H1980"\w* \w him|strong="G3588"\w* \w away|strong="H5493"\w* \w to|strong="G1519"\w* \w crucify|strong="G4717"\w* \w him|strong="G3588"\w*. 
\¬v
\¬p