\v=4
\v~=\w for|strong="G1063"\w* \w it|strong="G1510"\w* \w was|strong="G1510"\w* \w very|strong="G4970"\w* \w big|strong="G3173"\w*. \w Looking|strong="G2334"\w* \w up|strong="G0308"\w*, \w they|strong="G2532"\w* \w saw|strong="G2334"\w* \w that|strong="G3754"\w* \w the|strong="G3588"\w* \w stone|strong="G3037"\w* \w was|strong="G1510"\w* \w rolled|strong="G0617"\w* back. 
\¬v
\¬p