\v=22
\v~=\w Car|strong="G1063"\w* l'homme \w sur|strong="G1909"\w* \w lequel|strong="G3739"\w* \w s'est|strong="G3588"\w* \w produit|strong="G4160"\w* \w ce|strong="G3739"\w* \w miracle|strong="G4592"\w* \w de|strong="G1909"\w* \w guérison|strong="G2392"\w* \w était|strong="G1096"\w* \w âgé|strong="G1096"\w* \w de|strong="G1909"\w* \w plus|strong="G4119"\w* \w de|strong="G1909"\w* \w quarante|strong="G5062"\w* \w ans|strong="G2094"\w*. 
\¬v
\¬p