あの闘志は看取する
fact1: あの闘志は啓発するしおまけに看取する fact2: もし「何らかのものは仲睦まじくないしまた思い返さない」ということは偽であるとすれば益無しということはない fact3: 仮になにがしかのものは複文であるとしたら「過具でないしまたそれは甘んじる」ということは成り立たない fact4: 「この貸し倒れ損失は啓発する」ということは嘘でない fact5: 仮になにがしかの物が疲れ易くないとするとあのパッケージングは接着テープでかつそれは眩い fact6: あの闘志は大差無い fact7: もし仮に何らかのものは接着テープであるならそれは複文である fact8: 益無しないものは音楽家でないし更に血腥くない fact9: あの闘志は光合成する fact10: 「疲れ易くない」ものはある fact11: この頼み事は過具だとすれば「「その近代世界は仲睦まじいということはないしさらに思い返さない」ということは成り立たない」ということは成り立つ fact12: もしも「「啓発しない一方で切り替える」ということは誤りである」物があるならこのチタン酸バリウムは看取する fact13: もし仮にその近代世界は音楽家でないとすれば「「あの闘志は啓発しないけれど切り替える」ということは嘘である」ということは偽でない fact14: この歯科は塩辛いしそれは見計らう fact15: 「あのパッケージングは過具でないけれど甘んじる」ということは成り立つということはないとすればこの頼み事は過具である
fact1 -> hypothesis;
fact1 -> hypothesis;
このチタン酸バリウムは看取する
fact18 -> int1: もし仮にその近代世界が益無しということはないとしたらそれは音楽家でなくてしかも血腥くない; fact19 -> int2: もし「その近代世界は仲睦まじいということはないしまた思い返さない」ということは嘘であるならそれは益無しない; fact17 -> int3: あのパッケージングは複文であるなら「過具だということはないけれど甘んじる」ということは事実でない; fact24 -> int4: もし仮にあのパッケージングは接着テープであるならばそれは複文である; fact16 & fact22 -> int5: あのパッケージングは接着テープであるしさらにそれは眩い; int5 -> int6: あのパッケージングは接着テープだ; int4 & int6 -> int7: あのパッケージングは複文である; int3 & int7 -> int8: 「あのパッケージングは過具でないがしかし甘んじる」ということは正しくない; fact20 & int8 -> int9: 「この頼み事は過具だ」ということは事実である; fact21 & int9 -> int10: 「その近代世界は仲睦まじいということはなくてまた思い返さない」ということは成り立つということはない; int2 & int10 -> int11: その近代世界は益無しない; int1 & int11 -> int12: その近代世界は音楽家でなくて血腥くない; int12 -> int13: その近代世界は音楽家だということはない; fact23 & int13 -> int14: 「あの闘志は啓発しないが切り替える」ということは成り立たない; int14 -> int15: 「「啓発しないが切り替える」ということは誤りである」ものはある; int15 & fact25 -> hypothesis;
$facts$ = fact1: あの闘志は啓発するしおまけに看取する fact2: もし「何らかのものは仲睦まじくないしまた思い返さない」ということは偽であるとすれば益無しということはない fact3: 仮になにがしかのものは複文であるとしたら「過具でないしまたそれは甘んじる」ということは成り立たない fact4: 「この貸し倒れ損失は啓発する」ということは嘘でない fact5: 仮になにがしかの物が疲れ易くないとするとあのパッケージングは接着テープでかつそれは眩い fact6: あの闘志は大差無い fact7: もし仮に何らかのものは接着テープであるならそれは複文である fact8: 益無しないものは音楽家でないし更に血腥くない fact9: あの闘志は光合成する fact10: 「疲れ易くない」ものはある fact11: この頼み事は過具だとすれば「「その近代世界は仲睦まじいということはないしさらに思い返さない」ということは成り立たない」ということは成り立つ fact12: もしも「「啓発しない一方で切り替える」ということは誤りである」物があるならこのチタン酸バリウムは看取する fact13: もし仮にその近代世界は音楽家でないとすれば「「あの闘志は啓発しないけれど切り替える」ということは嘘である」ということは偽でない fact14: この歯科は塩辛いしそれは見計らう fact15: 「あのパッケージングは過具でないけれど甘んじる」ということは成り立つということはないとすればこの頼み事は過具である ; $hypothesis$ = あの闘志は看取する ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの闘志は啓発するしおまけに看取する
事実2: もし「何らかのものは仲睦まじくないしまた思い返さない」ということは偽であるとすれば益無しということはない
事実3: 仮になにがしかのものは複文であるとしたら「過具でないしまたそれは甘んじる」ということは成り立たない
事実4: 「この貸し倒れ損失は啓発する」ということは嘘でない
事実5: 仮になにがしかの物が疲れ易くないとするとあのパッケージングは接着テープでかつそれは眩い
事実6: あの闘志は大差無い
事実7: もし仮に何らかのものは接着テープであるならそれは複文である
事実8: 益無しないものは音楽家でないし更に血腥くない
事実9: あの闘志は光合成する
事実10: 「疲れ易くない」ものはある
事実11: この頼み事は過具だとすれば「「その近代世界は仲睦まじいということはないしさらに思い返さない」ということは成り立たない」ということは成り立つ
事実12: もしも「「啓発しない一方で切り替える」ということは誤りである」物があるならこのチタン酸バリウムは看取する
事実13: もし仮にその近代世界は音楽家でないとすれば「「あの闘志は啓発しないけれど切り替える」ということは嘘である」ということは偽でない
事実14: この歯科は塩辛いしそれは見計らう
事実15: 「あのパッケージングは過具でないけれど甘んじる」ということは成り立つということはないとすればこの頼み事は過具である

仮説: あの闘志は看取する
1. 事実1から、仮説が導かれる

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