\v=4
\v~=\w He|strong="H5704"\w* \w will|strong="H3808"\w* \w not|strong="H3808"\w* \w fail|strong="H3543"\w* \w nor|strong="H3808"\w* \w be|strong="H3808"\w* \w discouraged|strong="H7533"\w*, \w till|strong="H5704"\w* \w he|strong="H5704"\w* \w have|strong="H3808"\w* \w set|strong="H7760"\w* \w justice|strong="H4941"\w* \w in|strong="H3808"\w* \w the|strong="H7760"\w* \w earth|strong="H0776"\w*; \w and|strong="H4941"\w* \w the|strong="H7760"\w* \w isles|strong="H0339"\w* \w shall|strong="H3808"\w* \w wait|strong="H3176"\w* \w for|strong="H5704"\w* \w his|strong="H7760"\w* \w law|strong="H8451"\w*. 
\¬v
\¬p