\q1
\v=7
\v~=\w and|strong="H7725"\w* \w has|strong="H0376"\w* \w not|strong="H3808"\w* \w wronged|strong="H3238"\w* \w any|strong="H0376"\w*, 
\¬q1
\q2
\p~<<q2=\w but|strong="H3808"\w* \w has|strong="H0376"\w* \w restored|strong="H7725"\w* \w to|strong="H7725"\w* \w the|strong="H5414"\w* \w debtor|strong="H2326"\w* \w his|strong="H5414"\w* \w pledge|strong="H2258"\w*, 
\¬q2
\q1
\p~<<q1=\w has|strong="H0376"\w* \w taken|strong="H1497"\w* \w nothing|strong="H3808"\w* \w by|strong="H3808"\w* \w robbery|strong="H1500"\w*, 
\¬q1
\q2
\p~<<q2=\w has|strong="H0376"\w* \w given|strong="H5414"\w* \w his|strong="H5414"\w* \w bread|strong="H3899"\w* \w to|strong="H7725"\w* \w the|strong="H5414"\w* \w hungry|strong="H7457"\w*, 
\¬q2
\q2
\p~<<q2=\w and|strong="H7725"\w* \w has|strong="H0376"\w* \w covered|strong="H3680"\w* \w the|strong="H5414"\w* \w naked|strong="H5903"\w* \w with|strong="H0376"\w* \w a|strong="H5414"\w* \w garment|strong="H0899"\w*; 
\¬q2
\¬v