あの大告白は急度する
fact1: 仮にあるものが合えないとしたら血液であるし観察し易い fact2: もし仮に「なにがしかのものは急度しないしおまけに観察し易くない」ということは成り立つということはないならば急度する fact3: もし「その電熱器は打ち捲らないけど共有化する」ということは誤っているならそれは合えない fact4: もしその電熱器が打ち捲らないとしたらあの大告白は合えるしその上共有化する fact5: 仮にその電熱器が観察し易いとするとあの大告白は観察し易い fact6: もしも「あの年末年始は打ち捲るしごっつい」ということは本当でないならその電熱器は打ち捲らない fact7: その電熱器はごっつかないとすると「それは打ち捲らないけど共有化する」ということは成り立たない fact8: もしもあの大告白が血液であるなら及び難くておまけにそれは観察し易くない fact9: この当面は急度する fact10: あの月足らずは急度する fact11: あの大告白は味気無い fact12: その電熱器が血液だとしたらあの大告白は及び難いということはない fact13: あの大告白は急度する fact14: あの任意調査は急度する fact15: 及び難いかもしくは観察し易いものは急度しない
fact13 -> hypothesis;
あの大告白は急度しない
fact16 -> int1: もしあの大告白は及び難いかまたは観察し易いか両方であるとするとそれは急度しない; fact18 -> int2: もしその電熱器が合えるということはないとすれば血液であるししかも観察し易い;
$facts$ = fact1: 仮にあるものが合えないとしたら血液であるし観察し易い fact2: もし仮に「なにがしかのものは急度しないしおまけに観察し易くない」ということは成り立つということはないならば急度する fact3: もし「その電熱器は打ち捲らないけど共有化する」ということは誤っているならそれは合えない fact4: もしその電熱器が打ち捲らないとしたらあの大告白は合えるしその上共有化する fact5: 仮にその電熱器が観察し易いとするとあの大告白は観察し易い fact6: もしも「あの年末年始は打ち捲るしごっつい」ということは本当でないならその電熱器は打ち捲らない fact7: その電熱器はごっつかないとすると「それは打ち捲らないけど共有化する」ということは成り立たない fact8: もしもあの大告白が血液であるなら及び難くておまけにそれは観察し易くない fact9: この当面は急度する fact10: あの月足らずは急度する fact11: あの大告白は味気無い fact12: その電熱器が血液だとしたらあの大告白は及び難いということはない fact13: あの大告白は急度する fact14: あの任意調査は急度する fact15: 及び難いかもしくは観察し易いものは急度しない ; $hypothesis$ = あの大告白は急度する ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 仮にあるものが合えないとしたら血液であるし観察し易い
事実2: もし仮に「なにがしかのものは急度しないしおまけに観察し易くない」ということは成り立つということはないならば急度する
事実3: もし「その電熱器は打ち捲らないけど共有化する」ということは誤っているならそれは合えない
事実4: もしその電熱器が打ち捲らないとしたらあの大告白は合えるしその上共有化する
事実5: 仮にその電熱器が観察し易いとするとあの大告白は観察し易い
事実6: もしも「あの年末年始は打ち捲るしごっつい」ということは本当でないならその電熱器は打ち捲らない
事実7: その電熱器はごっつかないとすると「それは打ち捲らないけど共有化する」ということは成り立たない
事実8: もしもあの大告白が血液であるなら及び難くておまけにそれは観察し易くない
事実9: この当面は急度する
事実10: あの月足らずは急度する
事実11: あの大告白は味気無い
事実12: その電熱器が血液だとしたらあの大告白は及び難いということはない
事実13: あの大告白は急度する
事実14: あの任意調査は急度する
事実15: 及び難いかもしくは観察し易いものは急度しない

仮説: あの大告白は急度する
1. 事実13から、仮説が導かれる

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