あのグロブリンは淀み無い
fact1: もし仮にとある物が打ちかまさない一方でネームプレートであるとしたら解除出来る fact2: 仮にそのザ・ハンドが再開しないとしたらこの下睫毛は高校卒業だ fact3: もしもなんらかの物は解除出来るしかつ再開するとすればそれは高校卒業でない fact4: この下睫毛は油っぽい fact5: この組合管掌健康保険は再開しない fact6: この下睫毛は高校卒業であるが淀み無くない fact7: そのザ・ハンドは再開しない fact8: この量販店間が血腥くないならこの下睫毛は油っぽい fact9: もしもこの下睫毛が高校卒業でないならばあの量販店間は淀み無いということはない fact10: もしこの量販店間が血腥いならばあのグロブリンは淀み無い fact11: もしそのザ・ハンドが再開しないならばあの下睫毛は教え始めるし高校卒業である fact12: もしも「この量販店間は血腥くない」ということは事実であるならこの下睫毛は油っぽいがしかしそれは教え始めない fact13: 仮にあのグロブリンが高校卒業でないとすれば淀み無くないししかも血腥い fact14: この下睫毛は高校卒業だ
void -> assump1: 以下のように仮定する。この量販店間は血腥くない; fact12 & assump1 -> int1: この下睫毛は油っぽいけれど教え始めない; int1 -> int2: この下睫毛は教え始めない; fact7 & fact11 -> int3: この下睫毛は教え始めるしおまけにそれは高校卒業である; int3 -> int4: この下睫毛は教え始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この量販店間は血腥い; int6 & fact10 -> hypothesis;
あのグロブリンは淀み無くない
fact16 -> int7: 仮にあのグロブリンが解除出来るし再開するなら高校卒業でない; fact15 -> int8: もしあのグロブリンは打ちかまさないがしかしネームプレートなら「それは解除出来る」ということは成り立つ;
$facts$ = fact1: もし仮にとある物が打ちかまさない一方でネームプレートであるとしたら解除出来る fact2: 仮にそのザ・ハンドが再開しないとしたらこの下睫毛は高校卒業だ fact3: もしもなんらかの物は解除出来るしかつ再開するとすればそれは高校卒業でない fact4: この下睫毛は油っぽい fact5: この組合管掌健康保険は再開しない fact6: この下睫毛は高校卒業であるが淀み無くない fact7: そのザ・ハンドは再開しない fact8: この量販店間が血腥くないならこの下睫毛は油っぽい fact9: もしもこの下睫毛が高校卒業でないならばあの量販店間は淀み無いということはない fact10: もしこの量販店間が血腥いならばあのグロブリンは淀み無い fact11: もしそのザ・ハンドが再開しないならばあの下睫毛は教え始めるし高校卒業である fact12: もしも「この量販店間は血腥くない」ということは事実であるならこの下睫毛は油っぽいがしかしそれは教え始めない fact13: 仮にあのグロブリンが高校卒業でないとすれば淀み無くないししかも血腥い fact14: この下睫毛は高校卒業だ ; $hypothesis$ = あのグロブリンは淀み無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この量販店間は血腥くない; fact12 & assump1 -> int1: この下睫毛は油っぽいけれど教え始めない; int1 -> int2: この下睫毛は教え始めない; fact7 & fact11 -> int3: この下睫毛は教え始めるしおまけにそれは高校卒業である; int3 -> int4: この下睫毛は教え始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この量販店間は血腥い; int6 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にとある物が打ちかまさない一方でネームプレートであるとしたら解除出来る
事実2: 仮にそのザ・ハンドが再開しないとしたらこの下睫毛は高校卒業だ
事実3: もしもなんらかの物は解除出来るしかつ再開するとすればそれは高校卒業でない
事実4: この下睫毛は油っぽい
事実5: この組合管掌健康保険は再開しない
事実6: この下睫毛は高校卒業であるが淀み無くない
事実7: そのザ・ハンドは再開しない
事実8: この量販店間が血腥くないならこの下睫毛は油っぽい
事実9: もしもこの下睫毛が高校卒業でないならばあの量販店間は淀み無いということはない
事実10: もしこの量販店間が血腥いならばあのグロブリンは淀み無い
事実11: もしそのザ・ハンドが再開しないならばあの下睫毛は教え始めるし高校卒業である
事実12: もしも「この量販店間は血腥くない」ということは事実であるならこの下睫毛は油っぽいがしかしそれは教え始めない
事実13: 仮にあのグロブリンが高校卒業でないとすれば淀み無くないししかも血腥い
事実14: この下睫毛は高校卒業だ

仮説: あのグロブリンは淀み無い
1. 仮定1: 以下のように仮定する。この量販店間は血腥くない
2. 事実12と仮定1から、推論1: "この下睫毛は油っぽいけれど教え始めない"が導かれる
3. 推論1から、推論2: "この下睫毛は教え始めない"が導かれる
4. 事実7と事実11から、推論3: "この下睫毛は教え始めるしおまけにそれは高校卒業である"が導かれる
5. 推論3から、推論4: "この下睫毛は教え始める"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この量販店間は血腥い"が導かれる
8. 推論6と事実10から、仮説が導かれる

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