\v=18
\v~=\w For|strong="G1063"\w* \w if|strong="G1487"\w* \w the|strong="G3588"\w* \w inheritance|strong="G2817"\w* \w is|strong="G2316"\w* \w of|strong="G1537"\w* \w the|strong="G3588"\w* \w law|strong="G3551"\w*, \w it|strong="G1223"\w* \w is|strong="G2316"\w* \w no|strong="G3765"\w* \w more|strong="G3765"\w* \w of|strong="G1537"\w* \w promise|strong="G1860"\w*; \w but|strong="G1161"\w* \w God|strong="G2316"\w* \w has|strong="G2316"\w* \w granted|strong="G5483"\w* \w it|strong="G1223"\w* \w to|strong="G2316"\w* \w Abraham|strong="G0011"\w* \w by|strong="G1223"\w* \w promise|strong="G1860"\w*. 
\¬v
\¬p