\v=10
\v~=\w If|strong="H0518"\w* \w the|strong="H6440"\w* ax \w is|strong="H1931"\w* blunt, \w and|strong="H6440"\w* \w one|strong="H3808"\w* \w doesn’t|strong="H3808"\w* \w sharpen|strong="H7043"\w* \w the|strong="H6440"\w* \w edge|strong="H6440"\w*, \w then|strong="H3808"\w* \w he|strong="H1931"\w* \w must|strong="H0518"\w* \w use|strong="H1931"\w* \w more|strong="H3808"\w* \w strength|strong="H2428"\w*; \w but|strong="H0518"\w* \w skill|strong="H2451"\w* brings \w success|strong="H3787"\w*. 
\¬v
\¬p