\q1
\v=3
\v~=\w A|strong="H0068"\w* \w stone|strong="H0068"\w* \w is|strong="H0191"\w* \w heavy|strong="H3515"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H0068"\w* \w sand|strong="H2344"\w* \w is|strong="H0191"\w* \w a|strong="H0068"\w* burden; 
\¬q2
\q2
\p~<<q2=\w but|strong="H0191"\w* \w a|strong="H0068"\w* \w fool’s|strong="H0191"\w* provocation \w is|strong="H0191"\w* \w heavier|strong="H3515"\w* than \w both|strong="H8147"\w*. 
\¬q2
\¬v