\v=15
\v~=And if any one was not found written in the book of life, he was cast into the lake of fire. 
\¬v
\¬p
\¬c