\v=15
\v~=\w He|strong="G2532"\w* \w died|strong="G0599"\w* \w for|strong="G3754"\w* \w all|strong="G3956"\w*, \w that|strong="G3754"\w* \w those|strong="G3588"\w* \w who|strong="G3588"\w* \w live|strong="G2198"\w* \w should|strong="G2443"\w* \w no|strong="G3371"\w* \w longer|strong="G3371"\w* \w live|strong="G2198"\w* \w to|strong="G2443"\w* \w themselves|strong="G1438"\w*, \w but|strong="G0235"\w* \w to|strong="G2443"\w* \w him|strong="G0846"\w* \w who|strong="G3588"\w* \w for|strong="G3754"\w* \w their|strong="G0846"\w* \w sakes|strong="G5228"\w* \w died|strong="G0599"\w* \w and|strong="G2532"\w* \w rose|strong="G1453"\w* \w again|strong="G3371"\w*. 
\¬v
\¬p