あの日夜は退塾する
fact1: その第二次調査は恥ずかしということはない fact2: 「あの日夜は音色でない」ということは正しいとすればそれは塗り分けで更に恥ずかし fact3: もし「その第二次調査は塗り分けでないかそれは恥ずかしかあるいは両方だ」ということは正しくないとしたら玉だ fact4: 仮に何らかの物が心弱くないならばそれは塗り分けであるしそれは皇孫だ fact5: 仮にとあるものは心弱いとしたら「それは玉でないが皇孫である」ということは成り立たない fact6: なにがしかの物が輿入れしないならばその第二次調査は心弱い fact7: 「その第二次調査は塗り分けでないかそれは恥ずかしかまたは両方だ」ということは誤っている fact8: もし仮にあの日夜が退塾しないとしたらその第二次調査は玉であるということはない fact9: 「「輿入れしない」ということは成り立つ」物はある fact10: 仮にその第二次調査は塗り分けであるならば「あの日夜は恥ずかしがしかし退塾しない」ということは成り立たない fact11: もしもあの日夜が玉であるししかも恥ずかしとするとそれは退塾するということはない fact12: もしその県漁連が塗り分けならその第二次調査は塗り分けだ fact13: 仮に「「玉でないがしかし皇孫である」ということは偽である」物があるとしたらあの日夜は玉だ
void -> assump1: 以下のように仮定する。あの日夜は退塾しない; fact8 & assump1 -> int1: その第二次調査は玉でない; fact7 & fact3 -> int2: 「その第二次調査は玉である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの日夜は退塾しない
fact14 -> int4: その第二次調査は心弱いとすると「玉でないしかつそれは皇孫である」ということは偽だ; fact15 & fact18 -> int5: その第二次調査は心弱い; int4 & int5 -> int6: 「その第二次調査は玉だということはないけど皇孫だ」ということは成り立たない; int6 -> int7: 「「玉でなくてしかも皇孫である」ということは成り立たない」ものはある; int7 & fact17 -> int8: 「あの日夜は玉である」ということは成り立つ;
$facts$ = fact1: その第二次調査は恥ずかしということはない fact2: 「あの日夜は音色でない」ということは正しいとすればそれは塗り分けで更に恥ずかし fact3: もし「その第二次調査は塗り分けでないかそれは恥ずかしかあるいは両方だ」ということは正しくないとしたら玉だ fact4: 仮に何らかの物が心弱くないならばそれは塗り分けであるしそれは皇孫だ fact5: 仮にとあるものは心弱いとしたら「それは玉でないが皇孫である」ということは成り立たない fact6: なにがしかの物が輿入れしないならばその第二次調査は心弱い fact7: 「その第二次調査は塗り分けでないかそれは恥ずかしかまたは両方だ」ということは誤っている fact8: もし仮にあの日夜が退塾しないとしたらその第二次調査は玉であるということはない fact9: 「「輿入れしない」ということは成り立つ」物はある fact10: 仮にその第二次調査は塗り分けであるならば「あの日夜は恥ずかしがしかし退塾しない」ということは成り立たない fact11: もしもあの日夜が玉であるししかも恥ずかしとするとそれは退塾するということはない fact12: もしその県漁連が塗り分けならその第二次調査は塗り分けだ fact13: 仮に「「玉でないがしかし皇孫である」ということは偽である」物があるとしたらあの日夜は玉だ ; $hypothesis$ = あの日夜は退塾する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの日夜は退塾しない; fact8 & assump1 -> int1: その第二次調査は玉でない; fact7 & fact3 -> int2: 「その第二次調査は玉である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その第二次調査は恥ずかしということはない
事実2: 「あの日夜は音色でない」ということは正しいとすればそれは塗り分けで更に恥ずかし
事実3: もし「その第二次調査は塗り分けでないかそれは恥ずかしかあるいは両方だ」ということは正しくないとしたら玉だ
事実4: 仮に何らかの物が心弱くないならばそれは塗り分けであるしそれは皇孫だ
事実5: 仮にとあるものは心弱いとしたら「それは玉でないが皇孫である」ということは成り立たない
事実6: なにがしかの物が輿入れしないならばその第二次調査は心弱い
事実7: 「その第二次調査は塗り分けでないかそれは恥ずかしかまたは両方だ」ということは誤っている
事実8: もし仮にあの日夜が退塾しないとしたらその第二次調査は玉であるということはない
事実9: 「「輿入れしない」ということは成り立つ」物はある
事実10: 仮にその第二次調査は塗り分けであるならば「あの日夜は恥ずかしがしかし退塾しない」ということは成り立たない
事実11: もしもあの日夜が玉であるししかも恥ずかしとするとそれは退塾するということはない
事実12: もしその県漁連が塗り分けならその第二次調査は塗り分けだ
事実13: 仮に「「玉でないがしかし皇孫である」ということは偽である」物があるとしたらあの日夜は玉だ

仮説: あの日夜は退塾する
1. 仮定1: 以下のように仮定する。あの日夜は退塾しない
2. 事実8と仮定1から、推論1: "その第二次調査は玉でない"が導かれる
3. 事実7と事実3から、推論2: "「その第二次調査は玉である」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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