このコスプレは定量化出来ないがしかし説き伏せる
fact1: もし仮になにがしかのものは手堅いとすれば「説き伏せないけれど二月以内である」ということは嘘である fact2: もし仮にその地学が会い成ればこのコスプレは青い fact3: あの生産面はあくどいかそれはデータ収集法であるかもしくはどちらもだ fact4: その千差は定量化出来ないけどそれは手堅い fact5: このコスプレは送出する fact6: もしもその地学が説き伏せないとするとこのコスプレは説き伏せないがしかし定量化出来る fact7: その地学は送出する fact8: もしもその地学が定量化出来ないとしたらこのコスプレは定量化出来ないが説き伏せる fact9: その地学は二月以内である fact10: その地学が定量化出来るということはないならこのコスプレは説き伏せる fact11: 「ハッピーエンドは送出するがしかし送受信しない」ということは本当である fact12: 「このコスプレは説き伏せる」ということは真実だ fact13: 「「その千差は手堅いし送出する」ということは間違いでない」ということは間違っている fact14: 「もしその千差が二月以内でないとするとその地学は送出する」ということは確かである fact15: もしもその千差が二月以内でないならばその地学は送出する一方で定量化出来ない fact16: あの生産面があくどいならそれは会い成る fact17: 何らかのものは二月以内であるとしたら「「それは密閉するということはない一方で手堅い」ということは成り立つ」ということは成り立たない fact18: もしも何かは送出するとすれば「二月以内である」ということは成り立つ fact19: もしも何かは青いとすればそれはハッピーエンドである fact20: その千差は密閉しない一方で手堅い fact21: 仮にあの生産面は会い成るなら「その地学は会い成る」ということは成り立つ fact22: その千差は手堅い
fact17 -> int1: もしもその千差は二月以内であるとすると「それは密閉するということはないし手堅い」ということは確かでない; void -> assump1: 以下のように仮定する。その千差は二月以内である; int1 & assump1 -> int2: 「その千差は密閉しない一方で手堅い」ということは成り立たない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: その千差は二月以内でない; int4 & fact15 -> int5: その地学は送出するけど定量化出来ない; int5 -> int6: その地学は定量化出来ない; int6 & fact8 -> hypothesis;
「このコスプレは定量化出来るということはないがそれは説き伏せる」ということは成り立たない
fact23 -> int7: もしもこのコスプレが送出するとするとそれは二月以内である; fact26 -> int8: もし仮にこのコスプレがハッピーエンドだとするとそれは送出するしおまけに送受信しない; fact29 -> int9: もしこのコスプレが青いならばハッピーエンドだ;
$facts$ = fact1: もし仮になにがしかのものは手堅いとすれば「説き伏せないけれど二月以内である」ということは嘘である fact2: もし仮にその地学が会い成ればこのコスプレは青い fact3: あの生産面はあくどいかそれはデータ収集法であるかもしくはどちらもだ fact4: その千差は定量化出来ないけどそれは手堅い fact5: このコスプレは送出する fact6: もしもその地学が説き伏せないとするとこのコスプレは説き伏せないがしかし定量化出来る fact7: その地学は送出する fact8: もしもその地学が定量化出来ないとしたらこのコスプレは定量化出来ないが説き伏せる fact9: その地学は二月以内である fact10: その地学が定量化出来るということはないならこのコスプレは説き伏せる fact11: 「ハッピーエンドは送出するがしかし送受信しない」ということは本当である fact12: 「このコスプレは説き伏せる」ということは真実だ fact13: 「「その千差は手堅いし送出する」ということは間違いでない」ということは間違っている fact14: 「もしその千差が二月以内でないとするとその地学は送出する」ということは確かである fact15: もしもその千差が二月以内でないならばその地学は送出する一方で定量化出来ない fact16: あの生産面があくどいならそれは会い成る fact17: 何らかのものは二月以内であるとしたら「「それは密閉するということはない一方で手堅い」ということは成り立つ」ということは成り立たない fact18: もしも何かは送出するとすれば「二月以内である」ということは成り立つ fact19: もしも何かは青いとすればそれはハッピーエンドである fact20: その千差は密閉しない一方で手堅い fact21: 仮にあの生産面は会い成るなら「その地学は会い成る」ということは成り立つ fact22: その千差は手堅い ; $hypothesis$ = このコスプレは定量化出来ないがしかし説き伏せる ; $proof$ = 
fact17 -> int1: もしもその千差は二月以内であるとすると「それは密閉するということはないし手堅い」ということは確かでない; void -> assump1: 以下のように仮定する。その千差は二月以内である; int1 & assump1 -> int2: 「その千差は密閉しない一方で手堅い」ということは成り立たない; int2 & fact20 -> int3: これは矛盾である; [assump1] & int3 -> int4: その千差は二月以内でない; int4 & fact15 -> int5: その地学は送出するけど定量化出来ない; int5 -> int6: その地学は定量化出来ない; int6 & fact8 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは手堅いとすれば「説き伏せないけれど二月以内である」ということは嘘である
事実2: もし仮にその地学が会い成ればこのコスプレは青い
事実3: あの生産面はあくどいかそれはデータ収集法であるかもしくはどちらもだ
事実4: その千差は定量化出来ないけどそれは手堅い
事実5: このコスプレは送出する
事実6: もしもその地学が説き伏せないとするとこのコスプレは説き伏せないがしかし定量化出来る
事実7: その地学は送出する
事実8: もしもその地学が定量化出来ないとしたらこのコスプレは定量化出来ないが説き伏せる
事実9: その地学は二月以内である
事実10: その地学が定量化出来るということはないならこのコスプレは説き伏せる
事実11: 「ハッピーエンドは送出するがしかし送受信しない」ということは本当である
事実12: 「このコスプレは説き伏せる」ということは真実だ
事実13: 「「その千差は手堅いし送出する」ということは間違いでない」ということは間違っている
事実14: 「もしその千差が二月以内でないとするとその地学は送出する」ということは確かである
事実15: もしもその千差が二月以内でないならばその地学は送出する一方で定量化出来ない
事実16: あの生産面があくどいならそれは会い成る
事実17: 何らかのものは二月以内であるとしたら「「それは密閉するということはない一方で手堅い」ということは成り立つ」ということは成り立たない
事実18: もしも何かは送出するとすれば「二月以内である」ということは成り立つ
事実19: もしも何かは青いとすればそれはハッピーエンドである
事実20: その千差は密閉しない一方で手堅い
事実21: 仮にあの生産面は会い成るなら「その地学は会い成る」ということは成り立つ
事実22: その千差は手堅い

仮説: このコスプレは定量化出来ないがしかし説き伏せる
1. 事実17から、推論1: "もしもその千差は二月以内であるとすると「それは密閉するということはないし手堅い」ということは確かでない"が導かれる
2. 仮定1: 以下のように仮定する。その千差は二月以内である
3. 推論1と仮定1から、推論2: "「その千差は密閉しない一方で手堅い」ということは成り立たない"が導かれる
4. 推論2と事実20から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その千差は二月以内でない"が導かれる
6. 推論4と事実15から、推論5: "その地学は送出するけど定量化出来ない"が導かれる
7. 推論5から、推論6: "その地学は定量化出来ない"が導かれる
8. 推論6と事実8から、仮説が導かれる

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