\p
\v=22
\v~=“‘\w You|strong="H3808"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w lie|strong="H7901"\w* \w with|strong="H0854"\w* \w a|strong="H3808"\w* \w man|strong="H2145"\w* \w as|strong="H2145"\w* \w with|strong="H0854"\w* \w a|strong="H3808"\w* \w woman|strong="H0802"\w*. \w That|strong="H1931"\w* \w is|strong="H1931"\w* \w detestable|strong="H8441"\w*. 
\¬v
\¬p