\v=17
\v~=\w Then|strong="H0853"\w* \w I|strong="H0834"\w* \w saw|strong="H7200"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w work|strong="H4639"\w* \w of|strong="H0430"\w* \w God|strong="H0430"\w*, \w and|strong="H0430"\w* \w that|strong="H0834"\w* \w man|strong="H0120"\w* \w may|strong="H0430"\w* \w not|strong="H3808"\w* get \w knowledge|strong="H3045"\w* \w of|strong="H0430"\w* \w the|strong="H3605"\w* \w work|strong="H4639"\w* \w which|strong="H0834"\w* \w is|strong="H0834"\w* \w done|strong="H6213"\w* \w under|strong="H8478"\w* \w the|strong="H3605"\w* \w sun|strong="H8121"\w*; \w because|strong="H3588"\w*, \w if|strong="H0518"\w* \w a|strong="H3588"\w* \w man|strong="H0120"\w* gives \w hard|strong="H5998"\w* \w work|strong="H4639"\w* \w to|strong="H0559"\w* \w the|strong="H3605"\w* \w search|strong="H1245"\w* \w he|strong="H0834"\w* \w will|strong="H0430"\w* \w not|strong="H3808"\w* get \w knowledge|strong="H3045"\w*, \w and|strong="H0430"\w* \w even|strong="H1571"\w* \w if|strong="H0518"\w* \w the|strong="H3605"\w* \w wise|strong="H2450"\w* \w man|strong="H0120"\w* \w seems|strong="H3605"\w* \w to|strong="H0559"\w* \w be|strong="H3808"\w* coming \w to|strong="H0559"\w* \w the|strong="H3605"\w* end \w of|strong="H0430"\w* \w his|strong="H3605"\w* \w search|strong="H1245"\w*, \w still|strong="H0559"\w* \w he|strong="H0834"\w* \w will|strong="H0430"\w* \w be|strong="H3808"\w* \w without|strong="H3808"\w* \w knowledge|strong="H3045"\w*. 
\¬v
\¬p
\¬c