\b
\q1
\v=12
\v~=\w The|strong="H1571"\w* \w blacksmith|strong="H2796"\w* takes \w an|strong="H1571"\w* ax, 
\¬q1
\q2
\p~<<q2=\w works|strong="H6466"\w* \w in|strong="H1571"\w* \w the|strong="H1571"\w* \w coals|strong="H6352"\w*, 
\¬q2
\q2
\p~<<q2=\w fashions|strong="H3335"\w* \w it|strong="H3335"\w* \w with|strong="H4325"\w* \w hammers|strong="H4717"\w*, 
\¬q2
\q2
\p~<<q2=\w and|strong="H4325"\w* \w works|strong="H6466"\w* \w it|strong="H3335"\w* \w with|strong="H4325"\w* \w his|strong="H3808"\w* \w strong|strong="H3581"\w* \w arm|strong="H2220"\w*. 
\¬q2
\q1
\p~<<q1=\w He|strong="H3808"\w* \w is|strong="H0369"\w* \w hungry|strong="H7456"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H4325"\w* \w his|strong="H3808"\w* \w strength|strong="H2220"\w* \w fails|strong="H0369"\w*; 
\¬q2
\q1
\p~<<q1=\w he|strong="H3808"\w* \w drinks|strong="H8354"\w* \w no|strong="H3808"\w* \w water|strong="H4325"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H4325"\w* \w is|strong="H0369"\w* faint. 
\¬q2
\¬v