\v=9
\v~=\w But|strong="G0235"\w* \w they|strong="G0846"\w* \w will|strong="G1510"\w* \w proceed|strong="G4298"\w* \w no|strong="G3756"\w* \w further|strong="G4183"\w*. \w For|strong="G1063"\w* \w their|strong="G0846"\w* \w folly|strong="G0454"\w* \w will|strong="G1510"\w* \w be|strong="G1510"\w* evident \w to|strong="G1909"\w* \w all|strong="G3956"\w* \w men|strong="G3956"\w*, \w as|strong="G5613"\w* \w theirs|strong="G0846"\w* \w also|strong="G2532"\w* \w came|strong="G1096"\w* \w to|strong="G1909"\w* \w be|strong="G1510"\w*. 
\¬v
\¬p