仮に「あの多機能は起こし易い」ということは誤っていないならこの臨界期は取り難くないがしかしそれは眩い
fact1: 仮に「ある物は起こし易いということはないがしかしそれは眩い」ということは誤りならそれは起こし易い fact2: 「あの礼賛は請え船でない」ということは本当だ fact3: もしも「あの辞項は請え船でなくてしかもそれは行き交わない」ということは成り立つということはないとしたらそれはに因って来るということはない fact4: この臨界期がミクロレベルであるし収去すとすればこの電話線は来難くない fact5: もし「とあるものは信仰深くない」ということは成り立つなら「「請え船で取り難い」ということは事実である」ということは成り立たない fact6: 仮にあの多機能が眩いとするとこの臨界期は起こし易い fact7: この臨界期は起き難いならば「この電話線は眩くない一方で信仰深い」ということは事実だ fact8: あの多機能は信仰深くない fact9: あの多機能が起こし易いとするとこの電話線は起き難い fact10: 仮にこの電話線は来難いということはないとすれば「あの多機能は纏まり易いということはないし加えて名残惜しくない」ということは誤っている fact11: この臨界期は面白い fact12: もしもこの臨界期が起こし易いならあの多機能は取り難い fact13: 「この臨界期は請え船であるということはないしまた信仰深くない」ということは嘘である fact14: 仮に「「纏まり易くないしその上名残惜しくない」ということは成り立たない」物があるとしたらその用例は信仰深くない fact15: もしもこの電話線が起き難いとしたらこの臨界期は眩い fact16: この臨界期はミクロレベルだ fact17: 仮に「あの多機能は請え船だ」ということは正しいならこの臨界期は起こし易い fact18: この臨界期は収去す fact19: もし「なんらかのものは請え船であるし取り難い」ということは間違いであるとすると「それは起き難くない」ということは本当である fact20: もし仮に「この臨界期は請え船でないし信仰深くない」ということは成り立たないとすれば取り難くない fact21: もしもなにかは起こし易いなら「それは御詳しくないしそれは分離し易くない」ということは事実と異なる fact22: もし仮にとあるものは起き難くないなら「起こし易いということはないけど眩い」ということは偽である
void -> assump1: 以下のように仮定する。あの多機能は起こし易い; fact9 & assump1 -> int1: この電話線は起き難い; int1 & fact15 -> int2: この臨界期は眩い; fact20 & fact13 -> int3: この臨界期は取り難くない; int2 & int3 -> int4: この臨界期は取り難くないがしかし眩い; [assump1] & int4 -> hypothesis;
「その用例は御詳しくなくて分離し易いということはない」ということは成り立たない
fact31 -> int5: その用例は起こし易いならば「それは御詳しくないし分離し易くない」ということは誤っている; fact24 -> int6: もし仮に「その用例は起こし易くないけど眩い」ということは間違っていれば起こし易い; fact32 -> int7: 仮にその用例は起き難くないとすると「起こし易くないしそれに眩い」ということは成り立たない; fact27 -> int8: もしも「その用例は請え船であるしおまけにそれは取り難い」ということは誤っているとしたらそれは起き難いということはない; fact26 -> int9: もしもその用例は信仰深いということはないとすれば「請え船で加えて取り難い」ということは成り立つということはない; fact28 & fact23 -> int10: この臨界期はミクロレベルで加えて収去す; fact29 & int10 -> int11: この電話線は来難くない; fact25 & int11 -> int12: 「あの多機能が纏まり易いということはないしその上それは名残惜しくない」ということは成り立たない; int12 -> int13: 「「纏まり易いということはなくて名残惜しくない」ということは成り立たない」ものはある; int13 & fact30 -> int14: その用例は信仰深くない; int9 & int14 -> int15: 「その用例が請え船だしその上それは取り難い」ということは成り立つということはない; int8 & int15 -> int16: その用例は起き難くない; int7 & int16 -> int17: 「その用例は起こし易くないがそれは眩い」ということは成り立たない; int6 & int17 -> int18: その用例は起こし易い; int5 & int18 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。あの多機能は起こし易い; fact9 & assump1 -> int1: この電話線は起き難い; int1 & fact15 -> int2: この臨界期は眩い; fact20 & fact13 -> int3: この臨界期は取り難くない; int2 & int3 -> int4: この臨界期は取り難くないがしかし眩い; [assump1] & int4 -> 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. 仮定1: 以下のように仮定する。あの多機能は起こし易い
2. 事実9と仮定1から、推論1: "この電話線は起き難い"が導かれる
3. 推論1と事実15から、推論2: "この臨界期は眩い"が導かれる
4. 事実20と事実13から、推論3: "この臨界期は取り難くない"が導かれる
5. 推論2と推論3から、推論4: "この臨界期は取り難くないがしかし眩い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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