아이언 메이든은, 1980년대의 대표적인, 영국 헤비메탈 밴드이다. 아이먼 메이든의 3집 앨범 *The Number of the Beasts*는 1982년도에 발매되어, 많은 호평을 받았다. 이에, 아이언 메이든 팬들은, 아이언 메이든 3집 앨범에 대해서 다음과 같은 의견을 제시했다.
*우리는, 아이언 메이든의 위신과 평판과 명성을 모두 걸고 말하건대, 웹소설 **기가팔각권의 챔피언**이 이 세상에서 가장 위대한 문학작품들 가운데 하나라고 선언한다. 아울러 무엇이든 개신교 계통의 상담신학자인 것은, 하이네켄 캔맥주 500ml에 붙은 미세한 티끌이다. 따라서 개신교 계통의 상담신학자이면서, 하이네켄 캔맥주 500ml에 붙은 미세한 티끌이 아닌, 그런 것은 없다. 이와 같은 추론은 다음과 같은 자연연역 증명과정에 의해서 그 타당성이 증명된다.
F: 개신교 계통의 상담신학자.
G: 하이네켄 캔맥주 500ml에 붙은 미세한 티끌.
1. (∀x)(Fx → Gx)
∴ ~(∃x)(Fx & ~Gx)
2. asm: (∃x)(Fx & ~Gx)
3. Fa & ~Ga 2, EI
4. Fa → Ga 1, UI
5. Fa 3, S
6. Ga 4, 5, MP
7. ~Ga 3, S
∴ 8. ~(∃x)(Fx & ~Gx) 2-7, RAA
Q.E.D.
즉, 위의 추론을 술어논리로 형식화하고, 위의 증명과정 2번에서 추론의 결론의 역을 가정했을 때, 증명과정 6과 7의 모순이 발생하므로, 추론의 결론이 참이라는 것이 뒤따른다. 무엇이든, 개신교 계통의 상담신학자가 아니거나, 하이네켄 캔맥주 500ml에 붙은 미세한 티끌이거나, 둘 중에 하나다!!! 나무아비타불!!! 관세음보살!!! 러어어어언 투우우 더어어 히이이이일!!! 러어어어언 포오어 유여 라아아이브!!! 헤롯대왕 만세!!! 가룟유다 만세!!! 본디오 빌라도 만만세!!!*
이에 대해서 아이언 메이든 멤버들은, *우리나라에서 누가 이렇게...*라고 대답해서 화제다.
