Captain Obvious à la rescousse :
Claire, adepte de programmation informatique, a simplement écrit une fonction (ou méthode si vous bossez en Java comme moi) booléenne appellée "estBourree" (en clair, une fonction dont la réponse ne peut être que oui ou non) pour prouver que non, elle n'est pas bourrée, de manière inverse (elle a utilisé l'opérateur "!=" qui signifie "différent" en informatique, correspondant à =/= en mathématique). Cette fonction retourne un prénom toujours différent de Claire (elle n'a aucune condition).
En fait en termes français purs, elle a même prouvé (ou défini plutôt) que toutes les filles portant le prénom Claire ne sont pas bourrées, à tout moment, quel que soit l'endroit du monde, ou les conditions (qui sont absentes). Mais bon ça c'est une autre histoire (ben oui elle a utilisé un public, moi j'aurais utilisé un private, mais on n'est plus à ça près, pis si ça se trouve elle veut utiliser ça fonction dans un package différent, tel que celui d'Adrien, qui sait ?). Bref l'explication est peut-être plus complexe que la quote en elle-même, m'en veuillez pas.