\q1 \v=25 \v~=\w And|strong="H3808"\w* \w if|strong="H7760"\w* \w it|strong="H7760"\w* \w be|strong="H3808"\w* \w not|strong="H3808"\w* \w so|strong="H3808"\w* \w now|strong="H7760"\w*, \w who|strong="H4310"\w* \w will|strong="H4310"\w* \w prove|strong="H3576"\w* \w me|strong="H7760"\w* \w a|strong="H7760"\w* \w liar|strong="H3576"\w*, \¬q1 \q1 \p~<