\v=15
\v~=\w And|strong="G2532"\w* \w Pilate|strong="G4091"\w*, \w wishing|strong="G1014"\w* \w to|strong="G2443"\w* \w content|strong="G4160"\w* \w the|strong="G2532"\w* \w multitude|strong="G3793"\w*, \w released|strong="H7971"\w* \w unto|strong="G2424"\w* \w them|strong="G3588"\w* Barabbas, \w and|strong="G2532"\w* \w delivered|strong="G3860"\w* \w Jesus|strong="G2424"\w*, \w when|strong="G1161"\w* \w he|strong="G2532"\w* \w had|strong="G2424"\w* \w scourged|strong="G5417"\w* \w him|strong="G3588"\w*, \w to|strong="G2443"\w* \w be|strong="G2532"\w* \w crucified|strong="G4717"\w*. 
\¬v
\¬p