\q1
\v=5
\v~=\w They|strong="H3808"\w* \w are|strong="H5973"\w* \w not|strong="H3808"\w* \w in|strong="H3808"\w* \w trouble|strong="H5999"\w* \w as|strong="H5973"\w* \add \+w other|strong="H0312"\+w* \add*\w men|strong="H0376"\w*; \w neither|strong="H3808"\w* \w are|strong="H5973"\w* \w they|strong="H3808"\w* \w plagued|strong="H5060"\w* \w like|strong="H5973"\w* \add \+w other|strong="H0312"\+w* \add*\w men|strong="H0376"\w*. 
\¬v
\¬q1