\v=22
\v~=\w For|strong="G1063"\w* \w the|strong="G1909"\w* \w man|strong="G3778"\w* \w was|strong="G1510"\w* \w more|strong="G4119"\w* \w than|strong="G4183"\w* \w forty|strong="G5062"\w* \w years|strong="G2094"\w* \w old|strong="G2094"\w*, \w on|strong="G1909"\w* \w whom|strong="G3739"\w* \w this|strong="G3778"\w* \w miracle|strong="G4592"\w* \w of|strong="G1909"\w* \w healing|strong="G2392"\w* \w was|strong="G1510"\w* \w wrought|strong="G3588"\w*. 
\¬v
\¬p