\v=17
\v~=\w And|strong="H3117"\w* \w they|strong="H3117"\w* \w made|strong="H3615"\w* \w an|strong="H3615"\w* \w end|strong="H3615"\w* \w with|strong="H3427"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w men|strong="H3605"\w* \w that|strong="H3605"\w* \w had|strong="H3427"\w* \w married|strong="H3427"\w* \w foreign|strong="H5237"\w* \w women|strong="H0802"\w* \w by|strong="H3117"\w* \w the|strong="H3605"\w* \w first|strong="H7223"\w* \w day|strong="H3117"\w* \w of|strong="H3117"\w* \w the|strong="H3605"\w* \w first|strong="H7223"\w* \w month|strong="H2320"\w*. 
\¬v
\¬p