\v=8
\v~=\w For|strong="H3588"\w* \w he|strong="H3588"\w* \w shall|strong="H3808"\w* \w be|strong="H1961"\w* \w as|strong="H1961"\w* \w a|strong="H1961"\w* \w tree|strong="H6086"\w* \w planted|strong="H8362"\w* \w by|strong="H5921"\w* \w the|strong="H5921"\w* \w waters|strong="H4325"\w*, \w that|strong="H3588"\w* \w spreadeth|strong="H6566"\w* \w out|strong="H7971"\w* \w its|strong="H5921"\w* \w roots|strong="H8328"\w* \w by|strong="H5921"\w* \w the|strong="H5921"\w* \w river|strong="H3588"\w*, \w and|strong="H7971"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w fear|strong="H3372"\w* \w when|strong="H3588"\w* \w heat|strong="H2527"\w* \w cometh|strong="H0935"\w*, \w but|strong="H3588"\w* \w its|strong="H5921"\w* \w leaf|strong="H5929"\w* \w shall|strong="H3808"\w* \w be|strong="H1961"\w* \w green|strong="H7488"\w*; \w and|strong="H7971"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w be|strong="H1961"\w* \w careful|strong="H1672"\w* \w in|strong="H5921"\w* \w the|strong="H5921"\w* \w year|strong="H8141"\w* \w of|strong="H8141"\w* \w drought|strong="H1226"\w*, \w neither|strong="H3808"\w* \w shall|strong="H3808"\w* \w cease|strong="H4185"\w* \w from|strong="H5921"\w* \w yielding|strong="H6213"\w* \w fruit|strong="H6529"\w*. 
\¬v
\¬p