\v=15
\v~=\w Then|strong="H5414"\w* \w I|strong="H3588"\w* \w commended|strong="H7623"\w* \w mirth|strong="H8057"\w*, \w because|strong="H3588"\w* \w a|strong="H5414"\w* \w man|strong="H2896"\w* \w hath|strong="H2416"\w* \w no|strong="H5414"\w* \w better|strong="H2896"\w* \w thing|strong="H2416"\w* \w under|strong="H8478"\w* \w the|strong="H3588"\w* \w sun|strong="H8121"\w*, \w than|strong="H2896"\w* \w to|strong="H5414"\w* \w eat|strong="H0398"\w*, \w and|strong="H3117"\w* \w to|strong="H5414"\w* \w drink|strong="H8354"\w*, \w and|strong="H3117"\w* \w to|strong="H5414"\w* \w be|strong="H3117"\w* \w joyful|strong="H8055"\w*: \w for|strong="H3588"\w* \w that|strong="H3588"\w* \w shall|strong="H3117"\w* \w abide|strong="H3867"\w* \w with|strong="H3117"\w* \w him|strong="H5414"\w* \w in|strong="H3117"\w* \w his|strong="H5414"\w* \w labor|strong="H5999"\w* \add \+w all|strong="H5414"\+w*\add* \w the|strong="H3588"\w* \w days|strong="H3117"\w* \w of|strong="H3117"\w* \w his|strong="H5414"\w* \w life|strong="H2416"\w* \w which|strong="H1931"\w* \w God|strong="H5414"\w* \w hath|strong="H2416"\w* \w given|strong="H5414"\w* \w him|strong="H5414"\w* \w under|strong="H8478"\w* \w the|strong="H3588"\w* \w sun|strong="H8121"\w*. 
\¬v
\¬p