\q1
\v=9
\v~=\w It|strong="H0518"\w* \w will|strong="H1961"\w* \w happen|strong="H1961"\w* \w that|strong="H1961"\w* \w if|strong="H0518"\w* \w ten|strong="H6235"\w* \w men|strong="H0376"\w* \w remain|strong="H1961"\w* \w in|strong="H1004"\w* \w one|strong="H0259"\w* \w house|strong="H1004"\w*, 
\¬q1
\q2
\p~<<q2=\w they|strong="H0518"\w* \w will|strong="H1961"\w* \w die|strong="H4191"\w*. 
\¬q2
\¬v