\v=28
\v~=\w And|strong="H2233"\w* \w if|strong="H1931"\w* \w the|strong="H3808"\w* \w woman|strong="H0802"\w* \w be|strong="H3808"\w* \w not|strong="H3808"\w* \w defiled|strong="H2930"\w*, \w but|strong="H3808"\w* \w be|strong="H3808"\w* \w clean|strong="H2889"\w*; \w then|strong="H3808"\w* \w she|strong="H1931"\w* \w shall|strong="H2233"\w* \w be|strong="H3808"\w* \w free|strong="H5352"\w*, \w and|strong="H2233"\w* \w shall|strong="H2233"\w* \w conceive|strong="H2232"\w* \w seed|strong="H2233"\w*. 
\¬v
\¬p