\v=17
\v~=\w but|strong="H3588"\w* \w of|strong="H3117"\w* \w the|strong="H3588"\w* \w tree|strong="H6086"\w* \w of|strong="H3117"\w* \w the|strong="H3588"\w* \w knowledge|strong="H1847"\w* \w of|strong="H3117"\w* \w good|strong="H2896"\w* \w and|strong="H3117"\w* \w evil|strong="H7451"\w*, \w thou|strong="H3588"\w* shalt \w not|strong="H3808"\w* \w eat|strong="H0398"\w* \w of|strong="H3117"\w* \w it|strong="H3588"\w*: \w for|strong="H3588"\w* \w in|strong="H4191"\w* \w the|strong="H3588"\w* \w day|strong="H3117"\w* \w that|strong="H3588"\w* \w thou|strong="H3588"\w* \w eatest|strong="H0398"\w* \w thereof|strong="H0753"\w* \w thou|strong="H3588"\w* shalt \w surely|strong="H4191"\w* \w die|strong="H4191"\w*. 
\¬v
\¬p