\v=19
\v~=\w if|strong="H0518"\w* \w he|strong="H0518"\w* \w rises|strong="H6965"\w* \w again|strong="H6965"\w* \w and|strong="H1980"\w* \w walks|strong="H1980"\w* \w around|strong="H5921"\w* \w with|strong="H1980"\w* \w his|strong="H5414"\w* \w staff|strong="H4938"\w*, \w then|strong="H1980"\w* \w he|strong="H0518"\w* \w who|strong="H5221"\w* \w struck|strong="H5221"\w* \w him|strong="H5414"\w* shall \w be|strong="H5414"\w* cleared; \w only|strong="H7535"\w* \w he|strong="H0518"\w* shall \w pay|strong="H5414"\w* \w for|strong="H5921"\w* \w the|strong="H5921"\w* \w loss|strong="H7674"\w* \w of|strong="H5921"\w* \w his|strong="H5414"\w* \w time|strong="H7674"\w*, \w and|strong="H1980"\w* shall \w provide|strong="H5414"\w* \w for|strong="H5921"\w* \w his|strong="H5414"\w* \w healing|strong="H7495"\w* \w until|strong="H5921"\w* \w he|strong="H0518"\w* \w is|strong="H0518"\w* thoroughly \w healed|strong="H7495"\w*. 
\¬v
\¬p