\v=31
\v~=\w For|strong="G3754"\w* \w if|strong="G1487"\w* \w they|strong="G3588"\w* \w do|strong="G4160"\w* \w these|strong="G3778"\w* \w things|strong="G3778"\w* \w in|strong="G1722"\w* \w the|strong="G1722"\w* \w green|strong="G5200"\w* \w tree|strong="G3586"\w*, \w what|strong="G5101"\w* \w shall|strong="G5101"\w* \w be|strong="G1096"\w* \w done|strong="G4160"\w* \w in|strong="G1722"\w* \w the|strong="G1722"\w* \w dry|strong="G3584"\w*? 
\¬v
\¬p