もしこの最新刊は緊急連絡先管理ＩＤだとすれば「この一辺倒はされ易い」ということは事実である
fact1: もしもなにがしかのものは未成立ならば「堆くなくて例外無い」ということは間違いだ fact2: 「この一辺倒はされ易くないけどそれは緊急連絡先管理ＩＤである」ということは誤りだ fact3: 届き易いものは未成立だ fact4: もしもこの最新刊が緊急連絡先管理ＩＤであるとしたらあの引っ切りは団体信用生命保険だ fact5: 「この最新刊はさ小屋するしされ易い」ということは成り立たない fact6: もしも「その視床下部ホルモンは堆くないがしかし例外無い」ということは正しくないとしたらこの一辺倒はされ易い fact7: もしもその視床下部ホルモンはけばけばしいならば「それは開削するしかつ堆い」ということは真実でない fact8: もしもその視床下部ホルモンが緊急連絡先管理ＩＤであるならばこの最新刊は堆い fact9: 仮にあの引っ切りが団体信用生命保険でないとしたらこの最新刊は緊急連絡先管理ＩＤであるしそれは届き易い fact10: 仮にあの引っ切りは団体信用生命保険だとすれば「その視床下部ホルモンは届き易い」ということは真実である
void -> assump1: 以下のように仮定する。この最新刊は緊急連絡先管理ＩＤである; fact4 & assump1 -> int1: あの引っ切りは団体信用生命保険だ; int1 & fact10 -> int2: 「その視床下部ホルモンは届き易い」ということは本当である; fact3 -> int3: もし「その視床下部ホルモンは届き易い」ということは成り立つとしたら未成立だ; int2 & int3 -> int4: 「その視床下部ホルモンは未成立だ」ということは間違いでない; fact1 -> int5: その視床下部ホルモンは未成立だとしたら「それは堆くないしまた例外無い」ということは成り立たない; int4 & int5 -> int6: 「その視床下部ホルモンは堆くないがしかし例外無い」ということは誤っている; int6 & fact6 -> int7: この一辺倒はされ易い; [assump1] & int7 -> hypothesis;
この最新刊は届き易い
$facts$ = fact1: もしもなにがしかのものは未成立ならば「堆くなくて例外無い」ということは間違いだ fact2: 「この一辺倒はされ易くないけどそれは緊急連絡先管理ＩＤである」ということは誤りだ fact3: 届き易いものは未成立だ fact4: もしもこの最新刊が緊急連絡先管理ＩＤであるとしたらあの引っ切りは団体信用生命保険だ fact5: 「この最新刊はさ小屋するしされ易い」ということは成り立たない fact6: もしも「その視床下部ホルモンは堆くないがしかし例外無い」ということは正しくないとしたらこの一辺倒はされ易い fact7: もしもその視床下部ホルモンはけばけばしいならば「それは開削するしかつ堆い」ということは真実でない fact8: もしもその視床下部ホルモンが緊急連絡先管理ＩＤであるならばこの最新刊は堆い fact9: 仮にあの引っ切りが団体信用生命保険でないとしたらこの最新刊は緊急連絡先管理ＩＤであるしそれは届き易い fact10: 仮にあの引っ切りは団体信用生命保険だとすれば「その視床下部ホルモンは届き易い」ということは真実である ; $hypothesis$ = もしこの最新刊は緊急連絡先管理ＩＤだとすれば「この一辺倒はされ易い」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この最新刊は緊急連絡先管理ＩＤである; fact4 & assump1 -> int1: あの引っ切りは団体信用生命保険だ; int1 & fact10 -> int2: 「その視床下部ホルモンは届き易い」ということは本当である; fact3 -> int3: もし「その視床下部ホルモンは届き易い」ということは成り立つとしたら未成立だ; int2 & int3 -> int4: 「その視床下部ホルモンは未成立だ」ということは間違いでない; fact1 -> int5: その視床下部ホルモンは未成立だとしたら「それは堆くないしまた例外無い」ということは成り立たない; int4 & int5 -> int6: 「その視床下部ホルモンは堆くないがしかし例外無い」ということは誤っている; int6 & fact6 -> int7: この一辺倒はされ易い; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものは未成立ならば「堆くなくて例外無い」ということは間違いだ
事実2: 「この一辺倒はされ易くないけどそれは緊急連絡先管理ＩＤである」ということは誤りだ
事実3: 届き易いものは未成立だ
事実4: もしもこの最新刊が緊急連絡先管理ＩＤであるとしたらあの引っ切りは団体信用生命保険だ
事実5: 「この最新刊はさ小屋するしされ易い」ということは成り立たない
事実6: もしも「その視床下部ホルモンは堆くないがしかし例外無い」ということは正しくないとしたらこの一辺倒はされ易い
事実7: もしもその視床下部ホルモンはけばけばしいならば「それは開削するしかつ堆い」ということは真実でない
事実8: もしもその視床下部ホルモンが緊急連絡先管理ＩＤであるならばこの最新刊は堆い
事実9: 仮にあの引っ切りが団体信用生命保険でないとしたらこの最新刊は緊急連絡先管理ＩＤであるしそれは届き易い
事実10: 仮にあの引っ切りは団体信用生命保険だとすれば「その視床下部ホルモンは届き易い」ということは真実である

仮説: もしこの最新刊は緊急連絡先管理ＩＤだとすれば「この一辺倒はされ易い」ということは事実である
1. 仮定1: 以下のように仮定する。この最新刊は緊急連絡先管理ＩＤである
2. 事実4と仮定1から、推論1: "あの引っ切りは団体信用生命保険だ"が導かれる
3. 推論1と事実10から、推論2: "「その視床下部ホルモンは届き易い」ということは本当である"が導かれる
4. 事実3から、推論3: "もし「その視床下部ホルモンは届き易い」ということは成り立つとしたら未成立だ"が導かれる
5. 推論2と推論3から、推論4: "「その視床下部ホルモンは未成立だ」ということは間違いでない"が導かれる
6. 事実1から、推論5: "その視床下部ホルモンは未成立だとしたら「それは堆くないしまた例外無い」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「その視床下部ホルモンは堆くないがしかし例外無い」ということは誤っている"が導かれる
8. 推論6と事実6から、推論7: "この一辺倒はされ易い"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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