\v=10
\v~=\w And|strong="H3478"\w* \w his|strong="H7121"\w* \w name|strong="H8034"\w* \w shall|strong="H3478"\w* \w be|strong="H8034"\w* \w called|strong="H7121"\w* \w in|strong="H3478"\w* \w Israel|strong="H3478"\w*, \w The|strong="H7121"\w* \w house|strong="H1004"\w* \w of|strong="H1004"\w* \w him|strong="H7121"\w* \w that|strong="H3478"\w* \w hath|strong="H3478"\w* \w his|strong="H7121"\w* \w shoe|strong="H5275"\w* \w loosed|strong="H2502"\w*. 
\¬v
\¬p