\v=67
\v~=\w their|strong="H3605"\w* \w camels|strong="H1581"\w*, \w four|strong="H0702"\w* \w hundred|strong="H3967"\w* \w thirty|strong="H7970"\w* \w and|strong="H3967"\w* \w five|strong="H2568"\w*; \add \+w their|strong="H3605"\+w*\add* \w asses|strong="H2543"\w*, \w six|strong="H8337"\w* \w thousand|strong="H0505"\w* \w seven|strong="H7651"\w* \w hundred|strong="H3967"\w* \w and|strong="H3967"\w* \w twenty|strong="H6242"\w*. 
\¬v
\¬p