\v=2
\v~=\w and|strong="H6213"\w* \w he|strong="H6213"\w* \w digged|strong="H2672"\w* \w it|strong="H6213"\w*, \w and|strong="H6213"\w* \w gathered|strong="H6960"\w* \w out|strong="H2672"\w* \w the|strong="H6213"\w* \w stones|strong="H5619"\w* \w thereof|strong="H8432"\w*, \w and|strong="H6213"\w* \w planted|strong="H5193"\w* \w it|strong="H6213"\w* \w with|strong="H6213"\w* \w the|strong="H6213"\w* \w choicest|strong="H8321"\w* \w vine|strong="H8321"\w*, \w and|strong="H6213"\w* \w built|strong="H1129"\w* \w a|strong="H6213"\w* \w tower|strong="H4026"\w* \w in|strong="H6213"\w* \w the|strong="H6213"\w* \w midst|strong="H8432"\w* \w of|strong="H8432"\w* \w it|strong="H6213"\w*, \w and|strong="H6213"\w* \w also|strong="H1571"\w* \w hewed|strong="H2672"\w* \w out|strong="H2672"\w* \w a|strong="H6213"\w* \w winepress|strong="H3342"\w* \w therein|strong="H8432"\w*: \w and|strong="H6213"\w* \w he|strong="H6213"\w* \w looked|strong="H6960"\w* \w that|strong="H6213"\w* \w it|strong="H6213"\w* \w should|strong="H6213"\w* \w bring|strong="H6213"\w* \w forth|strong="H6213"\w* \w grapes|strong="H6025"\w*, \w and|strong="H6213"\w* \w it|strong="H6213"\w* \w brought|strong="H6213"\w* \w forth|strong="H6213"\w* \w wild|strong="H6213"\w* \w grapes|strong="H6025"\w*. 
\¬v
\¬p