Axioma

Um moiteiro bom é um moiteiro sem chifres, de onde se conclui que não ha moiteiros bons.