\v=11
\v~=\w or|strong="H3808"\w* \w who|strong="H3605"\w* \w does|strong="H6213"\w* \w not|strong="H3808"\w* \w do|strong="H6213"\w* \w any|strong="H3605"\w* \w of|strong="H2022"\w* \w those|strong="H0428"\w* \w things|strong="H0428"\w* 
\¬p
\q1
\p~<<q1=\w but|strong="H3588"\w* \w has|strong="H1571"\w* \w eaten|strong="H0398"\w* \w at|strong="H0413"\w* \w the|strong="H3605"\w* \w mountain|strong="H2022"\w* shrines 
\¬q1
\q2
\p~<<q2=\w and|strong="H0398"\w* \w defiled|strong="H2930"\w* \w his|strong="H3605"\w* \w neighbor’s|strong="H7453"\w* \w wife|strong="H0802"\w*, 
\¬q2
\¬v