\v=11
\v~=\wj \+w and|strong="G1161"\+w* \+w of|strong="G4012"\+w* \+w judgment|strong="G2920"\+w*, \+w because|strong="G3754"\+w* \+w the|strong="G3588"\+w* \+w ruler|strong="G0758"\+w* \+w of|strong="G4012"\+w* \+w this|strong="G3778"\+w* \+w world|strong="G2889"\+w* \+w is|strong="G3778"\+w* \+w judged|strong="G2919"\+w*.\wj* 
\¬v
\¬p