\p
\v=26
\v~=\w Then|strong="G5119"\w* \w he|strong="G0846"\w* \w released|strong="G0630"\w* \w Barabbas|strong="G0912"\w* \w to|strong="G2443"\w* \w them|strong="G0846"\w*, \w but|strong="G1161"\w* \w Jesus|strong="G2424"\w* \w he|strong="G0846"\w* \w flogged|strong="G5417"\w* \w and|strong="G1161"\w* \w delivered|strong="G3860"\w* \w to|strong="G2443"\w* be \w crucified|strong="G4717"\w*. 
\¬v
\¬p