\v=48
\v~=\wj \+w where|strong="G3699"\+w* \+w their|strong="G2532"\+w* \+w worm|strong="G4663"\+w* \+w does|strong="H6213"\+w* \+w not|strong="G3756"\+w* \+w die|strong="G5053"\+w*, \+w and|strong="G2532"\+w* \+w the|strong="G2532"\+w* \+w fire|strong="G4442"\+w* \+w is|strong="G3588"\+w* \+w not|strong="G3756"\+w* \+w put|strong="G5053"\+w* \+w out|strong="G2532"\+w*.\wj* 
\¬v
\¬p