\v=30
\v~=\w Il|strong="G1161"\w* \w faut|strong="G1163"\w* \w qu'il|strong="G1163"\w* augmente, \w mais|strong="G1161"\w* \w il|strong="G1161"\w* \w faut|strong="G1163"\w* \w que|strong="G1161"\w* \w je|strong="G1473"\w* \w diminue|strong="G1642"\w*. 
\¬v
\¬p