\v=10
\v~=\w Even|strong="G2532"\w* \w now|strong="G1161"\w* \w the|strong="G3956"\w* ax \w lies|strong="G2749"\w* \w at|strong="G1519"\w* \w the|strong="G3956"\w* \w root|strong="G4491"\w* \w of|strong="G3956"\w* \w the|strong="G3956"\w* \w trees|strong="G1186"\w*. \w Therefore|strong="G3767"\w* \w every|strong="G3956"\w* \w tree|strong="G1186"\w* \w that|strong="G3956"\w* \w doesn’t|strong="G3361"\w* \w produce|strong="G4160"\w* \w good|strong="G2570"\w* \w fruit|strong="G2590"\w* \w is|strong="G3588"\w* \w cut|strong="G1581"\w* \w down|strong="G1581"\w*, \w and|strong="G2532"\w* \w cast|strong="G0906"\w* \w into|strong="G1519"\w* \w the|strong="G3956"\w* \w fire|strong="G4442"\w*. 
\¬v
\¬p