「あの結局は入貢しない」ということは誤っていない
fact1: 「あのキャンバス地は古いが学生向けでない」ということは事実と異なる fact2: 仮に「そのファイル選択ダイアログは入貢するけどそれはヒッピーでない」ということは成り立たないとしたらあのキャンバス地はヒッピーでない fact3: もしそのファイル選択ダイアログは古いということはないとすると「あのキャンバス地は学生向けであるけど痛み易くない」ということは誤っている fact4: そのファイル選択ダイアログは古くない fact5: 仮にそのファイル選択ダイアログが軟らかくないなら煮染めるしかつそれは自動車等だ fact6: 「あの結局は用ゆということはないしそれは鹿児島市交通局であるということはない」ということは事実だということはない fact7: 「あの結局は入貢するけど学生向けでない」ということは偽だ fact8: 「学生向けだが痛み易くない」物はある fact9: 仮に「「学生向けだし痛み易くない」ということは成り立たない」ものがあるならあのキャンバス地は古くない fact10: あのキャンバス地は久しくない fact11: あのキャンバス地は近付き難くない fact12: もし仮にあのキャンバス地が近付き難くないとすると鹿児島市交通局である fact13: なんらかのものは鹿児島市交通局であるとすると「軟らかくないし用ゆない」ということは誤りである fact14: 「あのキャンバス地は学生向けであるしそれは古い」ということは成り立たない fact15: なんらかのものは古いとすると「「入貢するしおまけにそれはヒッピーでない」ということは事実だ」ということは間違っている fact16: 「「学生向けであるしそれに痛み易い」ということは成り立たない」物はある fact17: もし仮に「あの結局は用ゆということはないし更に鹿児島市交通局でない」ということは成り立つということはないとするとそれは用ゆ fact18: もし仮に「「学生向けでない」ということは事実な」物があるとしたらあの結局は入貢しない fact19: もしそのファイル選択ダイアログが軟らかいならばあの結局は自動車等でないがそれは煮染める fact20: もしも何らかのものが自動車等でないとしたらそれが古いしその上入貢する fact21: 仮に「「学生向けであるが痛み易いということはない」ということは間違いな」ものがあるとしたらあの結局は入貢しない
fact3 & fact4 -> int1: 「あのキャンバス地は学生向けである一方で痛み易くない」ということは本当でない; int1 -> int2: 「「学生向けであるし痛み易くない」ということは成り立たない」物はある; int2 & fact21 -> hypothesis;
あの結局は入貢する
fact22 -> int3: もしもあの結局が自動車等でないとすればそれは古くて加えて入貢する; fact25 -> int4: あのキャンバス地は鹿児島市交通局ならば「それは軟らかくないしさらに用ゆということはない」ということは偽である; fact23 & fact26 -> int5: あのキャンバス地は鹿児島市交通局である; int4 & int5 -> int6: 「あのキャンバス地は軟らかくないし用ゆない」ということは成り立たない; int6 -> int7: 「「軟らかくないし用ゆない」ということは成り立つということはない」物はある;
$facts$ = fact1: 「あのキャンバス地は古いが学生向けでない」ということは事実と異なる fact2: 仮に「そのファイル選択ダイアログは入貢するけどそれはヒッピーでない」ということは成り立たないとしたらあのキャンバス地はヒッピーでない fact3: もしそのファイル選択ダイアログは古いということはないとすると「あのキャンバス地は学生向けであるけど痛み易くない」ということは誤っている fact4: そのファイル選択ダイアログは古くない fact5: 仮にそのファイル選択ダイアログが軟らかくないなら煮染めるしかつそれは自動車等だ fact6: 「あの結局は用ゆということはないしそれは鹿児島市交通局であるということはない」ということは事実だということはない fact7: 「あの結局は入貢するけど学生向けでない」ということは偽だ fact8: 「学生向けだが痛み易くない」物はある fact9: 仮に「「学生向けだし痛み易くない」ということは成り立たない」ものがあるならあのキャンバス地は古くない fact10: あのキャンバス地は久しくない fact11: あのキャンバス地は近付き難くない fact12: もし仮にあのキャンバス地が近付き難くないとすると鹿児島市交通局である fact13: なんらかのものは鹿児島市交通局であるとすると「軟らかくないし用ゆない」ということは誤りである fact14: 「あのキャンバス地は学生向けであるしそれは古い」ということは成り立たない fact15: なんらかのものは古いとすると「「入貢するしおまけにそれはヒッピーでない」ということは事実だ」ということは間違っている fact16: 「「学生向けであるしそれに痛み易い」ということは成り立たない」物はある fact17: もし仮に「あの結局は用ゆということはないし更に鹿児島市交通局でない」ということは成り立つということはないとするとそれは用ゆ fact18: もし仮に「「学生向けでない」ということは事実な」物があるとしたらあの結局は入貢しない fact19: もしそのファイル選択ダイアログが軟らかいならばあの結局は自動車等でないがそれは煮染める fact20: もしも何らかのものが自動車等でないとしたらそれが古いしその上入貢する fact21: 仮に「「学生向けであるが痛み易いということはない」ということは間違いな」ものがあるとしたらあの結局は入貢しない ; $hypothesis$ = 「あの結局は入貢しない」ということは誤っていない ; $proof$ = 
fact3 & fact4 -> int1: 「あのキャンバス地は学生向けである一方で痛み易くない」ということは本当でない; int1 -> int2: 「「学生向けであるし痛み易くない」ということは成り立たない」物はある; int2 & fact21 -> hypothesis; __PROVED__
事実1: 「あのキャンバス地は古いが学生向けでない」ということは事実と異なる
事実2: 仮に「そのファイル選択ダイアログは入貢するけどそれはヒッピーでない」ということは成り立たないとしたらあのキャンバス地はヒッピーでない
事実3: もしそのファイル選択ダイアログは古いということはないとすると「あのキャンバス地は学生向けであるけど痛み易くない」ということは誤っている
事実4: そのファイル選択ダイアログは古くない
事実5: 仮にそのファイル選択ダイアログが軟らかくないなら煮染めるしかつそれは自動車等だ
事実6: 「あの結局は用ゆということはないしそれは鹿児島市交通局であるということはない」ということは事実だということはない
事実7: 「あの結局は入貢するけど学生向けでない」ということは偽だ
事実8: 「学生向けだが痛み易くない」物はある
事実9: 仮に「「学生向けだし痛み易くない」ということは成り立たない」ものがあるならあのキャンバス地は古くない
事実10: あのキャンバス地は久しくない
事実11: あのキャンバス地は近付き難くない
事実12: もし仮にあのキャンバス地が近付き難くないとすると鹿児島市交通局である
事実13: なんらかのものは鹿児島市交通局であるとすると「軟らかくないし用ゆない」ということは誤りである
事実14: 「あのキャンバス地は学生向けであるしそれは古い」ということは成り立たない
事実15: なんらかのものは古いとすると「「入貢するしおまけにそれはヒッピーでない」ということは事実だ」ということは間違っている
事実16: 「「学生向けであるしそれに痛み易い」ということは成り立たない」物はある
事実17: もし仮に「あの結局は用ゆということはないし更に鹿児島市交通局でない」ということは成り立つということはないとするとそれは用ゆ
事実18: もし仮に「「学生向けでない」ということは事実な」物があるとしたらあの結局は入貢しない
事実19: もしそのファイル選択ダイアログが軟らかいならばあの結局は自動車等でないがそれは煮染める
事実20: もしも何らかのものが自動車等でないとしたらそれが古いしその上入貢する
事実21: 仮に「「学生向けであるが痛み易いということはない」ということは間違いな」ものがあるとしたらあの結局は入貢しない

仮説: 「あの結局は入貢しない」ということは誤っていない
1. 事実3と事実4から、推論1: "「あのキャンバス地は学生向けである一方で痛み易くない」ということは本当でない"が導かれる
2. 推論1から、推論2: "「「学生向けであるし痛み易くない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実21から、仮説が導かれる

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