\v=7
\v~=\w And|strong="G1161"\w* \w they|strong="G1161"\w* \w were|strong="G1510"\w* \w in|strong="G3956"\w* \w all|strong="G3956"\w* \w about|strong="G5616"\w* \w twelve|strong="G1427"\w* \w men|strong="G3956"\w*. 
\¬v
\¬p