\v=25
\v~=\w and|strong="G2532"\w* \w that|strong="G3754"\w* \w he|strong="G2532"\w* \w had|strong="G2192"\w* \w not|strong="G3756"\w* \w need|strong="G5532"\w* \w that|strong="G3754"\w* \w any|strong="G5100"\w* \w should|strong="G5100"\w* \w testify|strong="G3140"\w* \w of|strong="G5100"\w* \w man|strong="G0444"\w*, \w for|strong="G1063"\w* \w himself|strong="G0846"\w* \w knew|strong="G1097"\w* \w what|strong="G5101"\w* \w was|strong="G1510"\w* \w in|strong="G1722"\w* \w man|strong="G0444"\w*. 
\¬v
\¬p
\¬c