\v=3
\v~=\w He|strong="H3808"\w* \w may|strong="H0251"\w* sentence \w him|strong="H5921"\w* \w to|strong="H5921"\w* \w no|strong="H3808"\w* \w more|strong="H3254"\w* \w than|strong="H3808"\w* \w forty|strong="H0705"\w* \w stripes|strong="H4347"\w*. \w He|strong="H3808"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w give|strong="H3254"\w* \w more|strong="H3254"\w*, \w lest|strong="H6435"\w* \w if|strong="H6435"\w* \w he|strong="H3808"\w* should \w give|strong="H3254"\w* \w more|strong="H3254"\w* \w and|strong="H5869"\w* \w beat|strong="H5221"\w* \w him|strong="H5921"\w* \w more|strong="H3254"\w* \w than|strong="H3808"\w* \w that|strong="H3808"\w* \w many|strong="H7227"\w* \w stripes|strong="H4347"\w*, \w then|strong="H3254"\w* \w your|strong="H5921"\w* \w brother|strong="H0251"\w* \w will|strong="H5869"\w* \w be|strong="H3808"\w* \w degraded|strong="H7034"\w* \w in|strong="H5921"\w* \w your|strong="H5921"\w* \w sight|strong="H5869"\w*. 
\¬v
\¬p