「その洞調律は話し難いということはなくて膿まない」ということは誤りである
fact1: 「その洞調律は話し難くないけれど膿む」ということは誤りである fact2: 「「膿むしそれに話し難い」ということは事実と異なる」物はある fact3: 仮に「あの微弱電波は膿まない」ということは確かだとすれば「その洞調律は話し難くないしそれは膿まない」ということは確かでない fact4: 「「清拭するし作り出せる」ということは成り立たない」ものはある fact5: 「作り出せない」物があるならあの微弱電波は膿まない fact6: もし仮にある物が人らしいとしたら話し難くないしそれは膿まない fact7: 仮にあの微弱電波は膿まないならば「その洞調律は話し難いがしかしそれは膿まない」ということは間違いだ fact8: 「その洞調律は話し難いけど膿むということはない」ということは偽だ fact9: もし「「清拭するしさらに作り出せる」ということは成り立たない」ものはあるなら「あの微弱電波は膿まない」ということは確かである fact10: 「「話し難いしさらに膿む」ということは成り立たない」物はある fact11: 何かは清拭するしその上作り出せる fact12: もし仮にあの微弱電波は膿まないならば「その洞調律は話し難くないけれど膿む」ということは成り立たない
fact4 & fact9 -> int1: あの微弱電波は膿むということはない; int1 & fact3 -> hypothesis;
fact4 & fact9 -> int1: ¬{A}{a}; int1 & fact3 -> hypothesis;
その洞調律は話し難くないしまた膿まない
fact13 -> int2: もしもその洞調律が人らしいとすればそれは話し難くないしその上膿まない;
$facts$ = fact1: 「その洞調律は話し難くないけれど膿む」ということは誤りである fact2: 「「膿むしそれに話し難い」ということは事実と異なる」物はある fact3: 仮に「あの微弱電波は膿まない」ということは確かだとすれば「その洞調律は話し難くないしそれは膿まない」ということは確かでない fact4: 「「清拭するし作り出せる」ということは成り立たない」ものはある fact5: 「作り出せない」物があるならあの微弱電波は膿まない fact6: もし仮にある物が人らしいとしたら話し難くないしそれは膿まない fact7: 仮にあの微弱電波は膿まないならば「その洞調律は話し難いがしかしそれは膿まない」ということは間違いだ fact8: 「その洞調律は話し難いけど膿むということはない」ということは偽だ fact9: もし「「清拭するしさらに作り出せる」ということは成り立たない」ものはあるなら「あの微弱電波は膿まない」ということは確かである fact10: 「「話し難いしさらに膿む」ということは成り立たない」物はある fact11: 何かは清拭するしその上作り出せる fact12: もし仮にあの微弱電波は膿まないならば「その洞調律は話し難くないけれど膿む」ということは成り立たない ; $hypothesis$ = 「その洞調律は話し難いということはなくて膿まない」ということは誤りである ; $proof$ = 
fact4 & fact9 -> int1: あの微弱電波は膿むということはない; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「その洞調律は話し難くないけれど膿む」ということは誤りである
事実2: 「「膿むしそれに話し難い」ということは事実と異なる」物はある
事実3: 仮に「あの微弱電波は膿まない」ということは確かだとすれば「その洞調律は話し難くないしそれは膿まない」ということは確かでない
事実4: 「「清拭するし作り出せる」ということは成り立たない」ものはある
事実5: 「作り出せない」物があるならあの微弱電波は膿まない
事実6: もし仮にある物が人らしいとしたら話し難くないしそれは膿まない
事実7: 仮にあの微弱電波は膿まないならば「その洞調律は話し難いがしかしそれは膿まない」ということは間違いだ
事実8: 「その洞調律は話し難いけど膿むということはない」ということは偽だ
事実9: もし「「清拭するしさらに作り出せる」ということは成り立たない」ものはあるなら「あの微弱電波は膿まない」ということは確かである
事実10: 「「話し難いしさらに膿む」ということは成り立たない」物はある
事実11: 何かは清拭するしその上作り出せる
事実12: もし仮にあの微弱電波は膿まないならば「その洞調律は話し難くないけれど膿む」ということは成り立たない

仮説: 「その洞調律は話し難いということはなくて膿まない」ということは誤りである
1. 事実4と事実9から、推論1: "あの微弱電波は膿むということはない"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。