\v=27
\v~=\w Nun|strong="H5126"\w* \w his|strong="H3091"\w* \w son|strong="H1121"\w*, \w Joshua|strong="H3091"\w* \w his|strong="H3091"\w* \w son|strong="H1121"\w*. 
\¬v
\¬p