라트비아에서 실제로 발생한, 매우 독특하고 특이한 대화 실제로 발생한 대화

로리 앤 폴: "무엇이든 하이네켄 맥주인 것은 칼빈주의자의 췌장인 것이고, 무엇이든 칼빈주의자의 췌장인 것은 하이네켄 맥주인 것이다. 따라서 무엇이든 하이네켄 맥주인 경우에, 오직 그러한 경우에만, 칼빈주의자의 췌장이다."

솔 크립키: "폴 박사의 위와 같은 추론은, 다음과 같은 자연연역증명 과정에 의해서, 그 타당성이 증명된다.
F: 하이네켄 맥주.
G: 칼빈주의자의 췌장.
1. (∀x)(Fx → Gx) & (∀x)(Gx → Fx)
∴ (∀x)(Fx ↔ Gx)
2. asm: ~(∀x)(Fx ↔ Gx)
3. (∀x)(Fx → Gx)                    1, S
4. (∀x)(Gx → Fx)                    1, S
5. Fa → Ga                            3, UI
6. Ga → Fa                            4, S
7. (Fa → Ga) & (Ga → Fa)            5, 6, C
8.  asm u: ~(∀u)((Fu → Gu) & (Gu & Fu)) 
9. (∃u)~((Fu → Gu) & (Gu & Fu))         8, QN
10. ~((Fb → Gb) & (Gb & Fb))               9, EI
11. Fb → Gb                                  3, UI
12. Gb → Fb                                  4, UI
13. (Fb → Gb) & (Gb → Fb)                 11, 12, C
14. ∴ (∀u)((Fu → Gu) & (Gu → Fu))     8-13, RAA
15. ∴ (∀x)((Fx → Gx) & (Gx → Fx))    8-14, UG
16. (∀x)(Fx ↔ Gx)                         15, BCR
∴ 17. (∀x)(Fx ↔ Gx)                      2-16, RAA
Q.E.D.
위와 같이, 과정 2에서 결론의 역을 가정하고, 과정 8에서 보조가정을 한 다음에, 추론 과정에서 2와 16의 모순이 발생하여, 추론의 결론이 옳다는 것이, 즉 추론의 전제를 받아들이면, 추론의 결론도 뒤따른다는 것이, 증명되었다. 나무아비타불- 관세음보살-!!!"

헬렌 비비: "위의 크립키 선생의 증명방식은, 표준적인 자연연역증명방식, 그 중에서도 논리학 교재에서 흔히 볼 수 있는 레몬(Lemmon) 스타일의 증명방식인 것...일까??? 아니면 피치(Fitch) 스타일의 증명방식인 것... 일까??? 응??? 응응???"

길리안 러셀 & 안젤라 와이트 & 제임스 와이트 & 제임스 앤더슨 & 제임스 돌잘 & 닉 벳칙 & 알루라 젠슨 & 짐 캐시디 & 캐시디 뱅스 & 제프리 와딩튼 & 캠덴 뷰시 & 로렌 필립스 & 레나 폴 & 애드리아나 체칙 & 애디 니콜 애믹 & 로렌 바빅 & 오즈라 밀러 & 제시카 윌슨 & 드보라 블랙 & 레이첼 바니 & 수잔 울프 & 마가렛 길버트 & 수잔 핵 & 윌리엄 뎀스키 & 윌리엄 레인 크레이그 & 윌리엄 라이칸 & 스캇 솜스 & 스캇 올리핀트 & 윌리엄 에거 & 티모시 윌리암슨 & 데이빗 가너 & 데이빗 차머스 & 데이빗 웰스 & 데이빗 로젠달 & 데이빗 파피뉴 & 로버트 브랜덤 & 존 파이퍼 & 존 맥아더 & 존 맥도웰 & 로버트 스톨네이커 & 리차드 마크 세인즈브리 & 프랭크 캐머런 잭슨 & 제임스 햇필드 & 커크 해밋 & 라스 울리히 & 로버트 트루히요 & 데이브 머스테인 & 톰 아라야 & 제임스 메이나드 키넌 & 톰 요크 & 파브리시오 베우둠 & 효도르 에멜리야넨코 & 미르코 필로포비치 & 트렌트 레즈너 & 미하엘 애커펠트 & 새라 맥그래스 & 새라 제인 & 메이탈 코언 & 마이클 코언 & 폴 와셔 & 존 프레임 & 조 로건 & 짐 프라이어 & 가이 롱워스 & 알렉시스 팍스 & 우나 스토이닉: (모두 일제히 큰 소리로) "내 곁에 잠이 든 이밤에!!! 이렇게 떠나서 미안해!!! 여린 니 맘에!!! 상추라도 남을까!!! 나는 지금 이순간!!! 걱정부터 앞세워!!! 사실은 오늘!!! 그 사람이 찾아와!!! 늦이 않다며!!! 내 곁에 있겠다는 말에!!! 흔들리는 난 기이쁜 상추만 준 난!!! 이제에에 깨 달았어!!! 아주공갈 염소똥 십원에 열두 개!!! 아주 공갈 염소똥 십원에 열두 개!!! 가룟 유다 만세!!! 싯다르타 만세!!! 소크라테스 만만세!!!"