Você usa o princípio lógico da universal afirmativa: Todo A é B.
No caso de eu

provar UM caso em que existe um A que não é B, a equivalência é negada.
Nesse caso, você afirma que todo homem do site (A) é gado (B). Pra provar essa proposição, você carrega o ônus de mostrar que TODO cara que já se registrou e frequentou minimamente o site é gado. Seu prazo é de um dia

(Pra quem não sacar, é ironia)