「その警鐘は北流する」ということは誤りでない
fact1: このトーストパンは北流しない fact2: この俘囚は寄る辺無いということはない fact3: 「「教育論でないが北流する」ということは間違いである」ものはある fact4: 仮にあのタイムリー・ディスクロージャーが寄る辺無くないがそれは女性らしいならば「その警鐘は北流しない」ということは正しい fact5: 仮に「「寄る辺無くなくてしかも女性らしい」ということは間違いな」物はあれば「この更生担保権は教育論だ」ということは成り立つ fact6: その国民一般はめんどい fact7: この更生担保権は教育論でない fact8: もしとあるものは北流しないならば「教育論でないけど堅苦しい」ということは成り立たない fact9: 「「北流しない一方で寄る辺無い」ということは偽な」物はある fact10: 仮に「「寄る辺無くないしまた教育論である」ということは成り立つということはない」物があるならこの更生担保権は北流する fact11: この更生担保権は寄る辺無くない
void -> assump1: 以下のように仮定する。「あのタイムリー・ディスクロージャーは寄る辺無くないけど女性らしい」ということは成り立たない; assump1 -> int1: 「「寄る辺無くないが女性らしい」ということは間違っている」ものはある; int1 & fact5 -> int2: この更生担保権は教育論だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのタイムリー・ディスクロージャーは寄る辺無いということはない一方で女性らしい; int4 & fact4 -> hypothesis;
「この更生担保権は教育論でないが堅苦しい」ということは正しいということはない
fact12 -> int5: もしこの更生担保権は北流しないとすれば「それは教育論だということはなくて堅苦しい」ということは成り立たない;
$facts$ = fact1: このトーストパンは北流しない fact2: この俘囚は寄る辺無いということはない fact3: 「「教育論でないが北流する」ということは間違いである」ものはある fact4: 仮にあのタイムリー・ディスクロージャーが寄る辺無くないがそれは女性らしいならば「その警鐘は北流しない」ということは正しい fact5: 仮に「「寄る辺無くなくてしかも女性らしい」ということは間違いな」物はあれば「この更生担保権は教育論だ」ということは成り立つ fact6: その国民一般はめんどい fact7: この更生担保権は教育論でない fact8: もしとあるものは北流しないならば「教育論でないけど堅苦しい」ということは成り立たない fact9: 「「北流しない一方で寄る辺無い」ということは偽な」物はある fact10: 仮に「「寄る辺無くないしまた教育論である」ということは成り立つということはない」物があるならこの更生担保権は北流する fact11: この更生担保権は寄る辺無くない ; $hypothesis$ = 「その警鐘は北流する」ということは誤りでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのタイムリー・ディスクロージャーは寄る辺無くないけど女性らしい」ということは成り立たない; assump1 -> int1: 「「寄る辺無くないが女性らしい」ということは間違っている」ものはある; int1 & fact5 -> int2: この更生担保権は教育論だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのタイムリー・ディスクロージャーは寄る辺無いということはない一方で女性らしい; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: このトーストパンは北流しない
事実2: この俘囚は寄る辺無いということはない
事実3: 「「教育論でないが北流する」ということは間違いである」ものはある
事実4: 仮にあのタイムリー・ディスクロージャーが寄る辺無くないがそれは女性らしいならば「その警鐘は北流しない」ということは正しい
事実5: 仮に「「寄る辺無くなくてしかも女性らしい」ということは間違いな」物はあれば「この更生担保権は教育論だ」ということは成り立つ
事実6: その国民一般はめんどい
事実7: この更生担保権は教育論でない
事実8: もしとあるものは北流しないならば「教育論でないけど堅苦しい」ということは成り立たない
事実9: 「「北流しない一方で寄る辺無い」ということは偽な」物はある
事実10: 仮に「「寄る辺無くないしまた教育論である」ということは成り立つということはない」物があるならこの更生担保権は北流する
事実11: この更生担保権は寄る辺無くない

仮説: 「その警鐘は北流する」ということは誤りでない
1. 仮定1: 以下のように仮定する。「あのタイムリー・ディスクロージャーは寄る辺無くないけど女性らしい」ということは成り立たない
2. 仮定1から、推論1: "「「寄る辺無くないが女性らしい」ということは間違っている」ものはある"が導かれる
3. 推論1と事実5から、推論2: "この更生担保権は教育論だ"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのタイムリー・ディスクロージャーは寄る辺無いということはない一方で女性らしい"が導かれる
6. 推論4と事実4から、仮説が否定される

よって、仮説が否定されました。