「「その企業再生はすーごくないしそれに繁雑さでない」ということは成り立たないとすればあの京阪本線は社会条件だ」ということは成り立たない
fact1: 給田は社会条件である fact2: あの巣ワイパーは欲しいがしかしほろ苦くない fact3: 仮にとあるものが新株発行するとしたら社会条件であるかもしくはそれは給田でない fact4: もし仮になにかは気取るならそれは呼び出し元でない fact5: もし仮にとあるものはほろ苦いということはないならば「気取らないし操れない」ということは事実と異なる fact6: もしも「あの巣ワイパーが気取らないしさらにそれは操れない」ということは間違いであるならその京阪本線は気取る fact7: 「もしも「その企業再生はすーごくなくてそれに繁雑さでない」ということは間違いであるならばその京阪本線は給田だ」ということは成り立つ fact8: 仮に「呼び出し元でない」物があるならその企業再生は新株発行するしおまけにそれは燃え付きである fact9: その企業再生が社会条件であるとしたらあの永久運動は給田だ fact10: その企業再生は給田である fact11: あの土産物屋は繁雑さだ
void -> assump1: 以下のように仮定する。「その企業再生はすーごくないしその上それは繁雑さでない」ということは誤っている; fact7 & assump1 -> int1: その京阪本線は給田だ; fact1 -> int2: もし仮にその京阪本線は給田であるとすると社会条件である; int1 & int2 -> int3: その京阪本線は社会条件である; [assump1] & int3 -> hypothesis;
あの永久運動は給田だ
fact16 -> int4: もしその企業再生が新株発行するとするとそれは社会条件であるかもしくは給田でないかまたは両方だ; fact13 -> int5: もしもその京阪本線が気取るとすれば呼び出し元でない; fact17 -> int6: 仮に「あの巣ワイパーはほろ苦くない」ということは真実であるとしたら「それは気取らなくて操れない」ということは成り立たない; fact15 -> int7: あの巣ワイパーはほろ苦いということはない; int6 & int7 -> int8: 「あの巣ワイパーは気取らなくておまけにそれは操れない」ということは成り立たない; fact18 & int8 -> int9: その京阪本線は気取る; int5 & int9 -> int10: その京阪本線は呼び出し元でない; int10 -> int11: 「呼び出し元でない」物はある; int11 & fact14 -> int12: その企業再生は新株発行するし加えてそれは燃え付きだ; int12 -> int13: 「その企業再生は新株発行するということはない」ということは成り立たない; int4 & int13 -> int14: その企業再生は社会条件であるかもしくはそれは給田であるということはない;
$facts$ = fact1: 給田は社会条件である fact2: あの巣ワイパーは欲しいがしかしほろ苦くない fact3: 仮にとあるものが新株発行するとしたら社会条件であるかもしくはそれは給田でない fact4: もし仮になにかは気取るならそれは呼び出し元でない fact5: もし仮にとあるものはほろ苦いということはないならば「気取らないし操れない」ということは事実と異なる fact6: もしも「あの巣ワイパーが気取らないしさらにそれは操れない」ということは間違いであるならその京阪本線は気取る fact7: 「もしも「その企業再生はすーごくなくてそれに繁雑さでない」ということは間違いであるならばその京阪本線は給田だ」ということは成り立つ fact8: 仮に「呼び出し元でない」物があるならその企業再生は新株発行するしおまけにそれは燃え付きである fact9: その企業再生が社会条件であるとしたらあの永久運動は給田だ fact10: その企業再生は給田である fact11: あの土産物屋は繁雑さだ ; $hypothesis$ = 「「その企業再生はすーごくないしそれに繁雑さでない」ということは成り立たないとすればあの京阪本線は社会条件だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その企業再生はすーごくないしその上それは繁雑さでない」ということは誤っている; fact7 & assump1 -> int1: その京阪本線は給田だ; fact1 -> int2: もし仮にその京阪本線は給田であるとすると社会条件である; int1 & int2 -> int3: その京阪本線は社会条件である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 給田は社会条件である
事実2: あの巣ワイパーは欲しいがしかしほろ苦くない
事実3: 仮にとあるものが新株発行するとしたら社会条件であるかもしくはそれは給田でない
事実4: もし仮になにかは気取るならそれは呼び出し元でない
事実5: もし仮にとあるものはほろ苦いということはないならば「気取らないし操れない」ということは事実と異なる
事実6: もしも「あの巣ワイパーが気取らないしさらにそれは操れない」ということは間違いであるならその京阪本線は気取る
事実7: 「もしも「その企業再生はすーごくなくてそれに繁雑さでない」ということは間違いであるならばその京阪本線は給田だ」ということは成り立つ
事実8: 仮に「呼び出し元でない」物があるならその企業再生は新株発行するしおまけにそれは燃え付きである
事実9: その企業再生が社会条件であるとしたらあの永久運動は給田だ
事実10: その企業再生は給田である
事実11: あの土産物屋は繁雑さだ

仮説: 「「その企業再生はすーごくないしそれに繁雑さでない」ということは成り立たないとすればあの京阪本線は社会条件だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その企業再生はすーごくないしその上それは繁雑さでない」ということは誤っている
2. 事実7と仮定1から、推論1: "その京阪本線は給田だ"が導かれる
3. 事実1から、推論2: "もし仮にその京阪本線は給田であるとすると社会条件である"が導かれる
4. 推論1と推論2から、推論3: "その京阪本線は社会条件である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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