\v=44
\v~=\w And|strong="G2532"\w* \w they|strong="G2532"\w* \w that|strong="G3588"\w* \w ate|strong="G2068"\w* \w the|strong="G2532"\w* \w loaves|strong="H3899"\w* \w were|strong="G1510"\w* \w five|strong="G4000"\w* \w thousand|strong="G4000"\w* \w men|strong="G3588"\w*. 
\¬v
\¬p