On dit : Pierre qui roule n’amasse pas mousse. Paul et Jaques (pour la coquille) non plus... Et grenouille qui saute, encore moins.
La pierre roule donc sans amasser mousse et la souris verte continue à courir dans l’herbe, probablement ce qui lui vaut sa couleur. Pour information, la souris verte est devenue un escargot tout chaud, mais pour simplifier, nous oublierons cette constante.
En admettant que la grenouille puisse être verte comme la mousse qui court et la souris qui roule, rien ne nous oblige à croire que le dit axiome « Grenouille qui saute » est vérifiable. On pourrait imaginer que ce sont seulement les divagations d’un esprit littéreux ramolli, mais restons cartésiens.
Prémisse mineur : le bénitier est en hauteur (pour des raisons pratiques).
Prémisse majeur : or, la grenouille est de bénitier
Syllogisme : donc la grenouille est en hauteur
Le syllogisme valide donc bien la véracité formelle de ce nouvel axiome :
Grenouille qui saute est en hauteur