\v=2
\v~=\w that|strong="H3478"\w* \w they|strong="H6310"\w* \w gathered|strong="H6908"\w* \w themselves|strong="H6908"\w* \w together|strong="H3162"\w*, \w to|strong="H3478"\w* \w fight|strong="H3898"\w* \w with|strong="H5973"\w* \w Joshua|strong="H3091"\w* \w and|strong="H3478"\w* \w with|strong="H5973"\w* \w Israel|strong="H3478"\w*, \w with|strong="H5973"\w* \w one|strong="H6310"\w* \w accord|strong="H6310"\w*. 
\¬v
\¬p