その選択化は付け難くない
fact1: その選択化は乳繰り有らない fact2: その対英開戦は乳繰り有る fact3: 仮にその対英開戦は乳繰り有るとすると「飲み始めるが先端部でない」ということは成り立たない fact4: 「その対英開戦は乳繰り有る」ということは事実だとすれば「飲み始めないしおまけに先端部でない」ということは誤りだ fact5: 「その対英開戦は飲み始めるけど先端部でない」ということは成り立たない fact6: この民主党案は乳繰り有る fact7: 「「飲み始めるということはないしおまけに先端部でない」ということは成り立たない」物があるとしたらその選択化は付け難くない fact8: 「とあるものが陸地側だしそれは章番号だ」ということは事実でないとすれば「それは章番号でない」ということは事実である fact9: 「付け難くないしおまけに飲み始めない」ものはある fact10: もし仮にとある物が乳繰り有るということはないとしたらクラス担任であるかそれは付け難い fact11: もしもなにかは土地区画整理でないしまた分かれないとしたらそれは理解し辛くない fact12: なにかは飲み始めないしさらに先端部でない fact13: 仮になにかは章番号でないならば「乳繰り有らない」ということは嘘でない
fact4 & fact2 -> int1: 「その対英開戦は飲み始めないしそれに先端部でない」ということは偽だ; int1 -> int2: 「「飲み始めないしその上先端部でない」ということは成り立たない」物はある; int2 & fact7 -> hypothesis;
あの課業はクラス担任だ
fact15 -> int3: 仮にその対英開戦が乳繰り有らないとすればクラス担任であるかもしくはそれは付け難いかもしくは両方ともだ; fact14 -> int4: 仮にその対英開戦は章番号であるということはないとすればそれは乳繰り有らない;
$facts$ = fact1: その選択化は乳繰り有らない fact2: その対英開戦は乳繰り有る fact3: 仮にその対英開戦は乳繰り有るとすると「飲み始めるが先端部でない」ということは成り立たない fact4: 「その対英開戦は乳繰り有る」ということは事実だとすれば「飲み始めないしおまけに先端部でない」ということは誤りだ fact5: 「その対英開戦は飲み始めるけど先端部でない」ということは成り立たない fact6: この民主党案は乳繰り有る fact7: 「「飲み始めるということはないしおまけに先端部でない」ということは成り立たない」物があるとしたらその選択化は付け難くない fact8: 「とあるものが陸地側だしそれは章番号だ」ということは事実でないとすれば「それは章番号でない」ということは事実である fact9: 「付け難くないしおまけに飲み始めない」ものはある fact10: もし仮にとある物が乳繰り有るということはないとしたらクラス担任であるかそれは付け難い fact11: もしもなにかは土地区画整理でないしまた分かれないとしたらそれは理解し辛くない fact12: なにかは飲み始めないしさらに先端部でない fact13: 仮になにかは章番号でないならば「乳繰り有らない」ということは嘘でない ; $hypothesis$ = その選択化は付け難くない ; $proof$ = 
fact4 & fact2 -> int1: 「その対英開戦は飲み始めないしそれに先端部でない」ということは偽だ; int1 -> int2: 「「飲み始めないしその上先端部でない」ということは成り立たない」物はある; int2 & fact7 -> hypothesis; __PROVED__
事実1: その選択化は乳繰り有らない
事実2: その対英開戦は乳繰り有る
事実3: 仮にその対英開戦は乳繰り有るとすると「飲み始めるが先端部でない」ということは成り立たない
事実4: 「その対英開戦は乳繰り有る」ということは事実だとすれば「飲み始めないしおまけに先端部でない」ということは誤りだ
事実5: 「その対英開戦は飲み始めるけど先端部でない」ということは成り立たない
事実6: この民主党案は乳繰り有る
事実7: 「「飲み始めるということはないしおまけに先端部でない」ということは成り立たない」物があるとしたらその選択化は付け難くない
事実8: 「とあるものが陸地側だしそれは章番号だ」ということは事実でないとすれば「それは章番号でない」ということは事実である
事実9: 「付け難くないしおまけに飲み始めない」ものはある
事実10: もし仮にとある物が乳繰り有るということはないとしたらクラス担任であるかそれは付け難い
事実11: もしもなにかは土地区画整理でないしまた分かれないとしたらそれは理解し辛くない
事実12: なにかは飲み始めないしさらに先端部でない
事実13: 仮になにかは章番号でないならば「乳繰り有らない」ということは嘘でない

仮説: その選択化は付け難くない
1. 事実4と事実2から、推論1: "「その対英開戦は飲み始めないしそれに先端部でない」ということは偽だ"が導かれる
2. 推論1から、推論2: "「「飲み始めないしその上先端部でない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、仮説が導かれる

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