\v=15
\v~=\w As|strong="H1697"\w* \w Jehovah|strong="H3068"\w* \w commanded|strong="H6680"\w* \w Moses|strong="H4872"\w* \w his|strong="H3605"\w* \w servant|strong="H5650"\w*, \w so|strong="H3651"\w* \w did|strong="H6213"\w* \w Moses|strong="H4872"\w* \w command|strong="H6680"\w* \w Joshua|strong="H3091"\w*: \w and|strong="H4872"\w* \w so|strong="H3651"\w* \w did|strong="H6213"\w* \w Joshua|strong="H3091"\w*; \w he|strong="H3651"\w* \w left|strong="H5493"\w* \w nothing|strong="H3808"\w* \w undone|strong="H5493"\w* \w of|strong="H3068"\w* \w all|strong="H3605"\w* \w that|strong="H3605"\w* \w Jehovah|strong="H3068"\w* \w commanded|strong="H6680"\w* \w Moses|strong="H4872"\w*. 
\¬v
\¬p