Ｍ「さて、『味噌らぅめん−麺＝味噌らぅ＝豚切れ＋味噌汁』は成り立つんで しょうか？」
Ｓ「ふん」
Ｍ「反論あり、と見ましたが」
Ｓ「『味噌らぅめん−麺＝味噌らぅ』はどうじゃ？」
Ｍ「うーん、『めん＝麺』なら成り立ちそうですが」
Ｓ「これは単に『味噌らぅ』の定義を与えとるだけじゃな」
Ｍ「ああ、なるほど。では、右辺は？」
Ｓ「『味噌らぅめん−麺＝豚切れ＋味噌汁』が（１）じゃ」
Ｍ「はい」
Ｓ「ここから何らかの矛盾を導き出せばよいわけじゃの」
Ｍ「ですね」
Ｓ「そこでじゃ、まず、『味噌らぅめん−麺＝どでかい豚切れ＋汁どばどば』 であることが分かっておるの」
Ｍ「ですね」
Ｓ「これが（２）じゃ」
Ｍ「はい」
Ｓ「（２）を（１）式左辺に代入すると、『どでかい豚切れ＋汁どばどば＝豚切れ＋味噌汁』になるの」
Ｍ「ですね」
Ｓ「これが（３）じゃ」
Ｍ「はい」
Ｓ「（３）式は『（どでかい−ただの）豚切れ＋汁どばどば＝味噌汁』と変形されるの」
Ｍ「ですね」
Ｓ「これが（３’）じゃ」
Ｍ「はい」
Ｓ「『どでかい≫ただの』から『どでかい―ただの≒どでかい』じゃの」
Ｍ「ですね」
Ｓ「これを（３’）式に適用すると、『どでかい豚切れ＋汁どばどば＝味噌汁』となるの」
Ｍ「ですね」
Ｓ「これが（３’’）じゃ」
Ｍ「はい」
Ｓ「ここで、『どでかい豚切れ＋汁どばどば』とはすなわち『豚汁どばどば』 っちゅうことじゃの」
Ｍ「ですね」
Ｓ「すると、（３’’）式は『豚汁どばどば＝味噌汁』となるの」
Ｍ「ですね」
Ｓ「これが（３’’’）じゃ」
Ｍ「はい」
Ｓ「さらに、（３’’’）式から汁を干すと、結局、『豚汁＝味噌』を得るわけじゃ」
Ｍ「…んな阿呆な」
Ｓ「つまり、そうゆうことじゃよ」