\p
\v=16
\v~=“\w Anyone|strong="H0376"\w* \w who|strong="H0376"\w* \w kidnaps|strong="H1589"\w* \w someone|strong="H0376"\w* \w and|strong="H3027"\w* \w sells|strong="H4376"\w* \w him|strong="H4672"\w*, \w or|strong="H0376"\w* \w if|strong="H0376"\w* \w he|strong="H0376"\w* \w is|strong="H0376"\w* \w found|strong="H4672"\w* \w in|strong="H4191"\w* \w his|strong="H0376"\w* \w hand|strong="H3027"\w*, \w he|strong="H0376"\w* \w shall|strong="H0376"\w* \w surely|strong="H4191"\w* \w be|strong="H4191"\w* \w put|strong="H4191"\w* \w to|strong="H4191"\w* \w death|strong="H4191"\w*. 
\¬v
\¬p