\v=10
\v~=\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="H1004"\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 who|strong="H3478"\w* \w had|strong="H3478"\w* \w his|strong="H7121"\w* \w sandal|strong="H5275"\w* removed.” 
\¬v
\¬p