\v=21
\v~=\w And|strong="G2532"\w* \w they|strong="G2532"\w* \w that|strong="G3588"\w* \w did|strong="G2532"\w* \w eat|strong="G2068"\w* \w were|strong="G1510"\w* \w about|strong="G5616"\w* \w five|strong="G4000"\w* \w thousand|strong="G4000"\w* \w men|strong="G3588"\w*, \w besides|strong="G5565"\w* \w women|strong="G1135"\w* \w and|strong="G2532"\w* \w children|strong="G3813"\w*. 
\¬v
\¬p