\v=12
\v~=\w He|strong="G3588"\w* \w that|strong="G3588"\w* \w hath|strong="G2192"\w* \w the|strong="G3588"\w* \w Son|strong="G5207"\w* \w hath|strong="G2192"\w* \w the|strong="G3588"\w* \w life|strong="G2222"\w*; \w he|strong="G3588"\w* \w that|strong="G3588"\w* \w hath|strong="G2192"\w* \w not|strong="G3756"\w* \w the|strong="G3588"\w* \w Son|strong="G5207"\w* \w of|strong="G5207"\w* \w God|strong="G2316"\w* \w hath|strong="G2192"\w* \w not|strong="G3756"\w* \w the|strong="G3588"\w* \w life|strong="G2222"\w*. 
\¬v
\¬p