\v=20
\v~=\w added|strong="G4369"\w* \w this|strong="G3778"\w* \w also|strong="G2532"\w* \w to|strong="G2532"\w* \w them|strong="G3588"\w* \w all|strong="G3956"\w*, \w that|strong="G3588"\w* \w he|strong="G2532"\w* \w shut|strong="H5462"\w* \w up|strong="G2623"\w* \w John|strong="G2491"\w* \w in|strong="G1722"\w* \w prison|strong="G5438"\w*. 
\¬v
\¬p