\v=8
\v~=\w And|strong="H1419"\w* \w they|strong="H1992"\w* \w cast|strong="H5307"\w* \w lots|strong="H1486"\w* \w for|strong="H5973"\w* \w their|strong="H5307"\w* \w offices|strong="H4931"\w*, \w all|strong="H1419"\w* \w alike|strong="H5973"\w*, \w as|strong="H5973"\w* \w well|strong="H5980"\w* \w the|strong="H5973"\w* \w small|strong="H6996"\w* \w as|strong="H5973"\w* \w the|strong="H5973"\w* \w great|strong="H1419"\w*, \w the|strong="H5973"\w* \w teacher|strong="H4175"\w* \w as|strong="H5973"\w* \w the|strong="H5973"\w* \w scholar|strong="H8527"\w*. 
\¬v
\¬p