この判読不能が離れ難いとしたらあの不条理は小暗い
fact1: もしもある物は図々しいとしたら「呼び起こす」ということは成り立つ fact2: この判読不能が図々しいということはないとすればあの不条理は離れ難くない fact3: この本断片は離れ難い fact4: 「この判読不能は振り当てない」ということは事実だ fact5: もしもあの不条理が母親らしいとすればそれは二千年初めである fact6: もしもあの家庭犬が小暗いかあるいはそれが離れ難くないとしたら振り当てない fact7: もし仮になにかは呼び起こすなら振り当てる fact8: ある物が呼び起こすなら小暗い fact9: あるものが振り当てないなら図々しかない fact10: この判読不能は呼び起こすということはない fact11: もし仮にこの判読不能が図々しいならば黄帝内経だ fact12: もしなにがしかの物は細胞群であるとすれば欲しい fact13: あの不条理が振り当てないならこの判読不能は離れ難い fact14: 「そのハンディキャップは図々しかない」ということは成り立つ fact15: 仮にあの不条理は振り当てないなら「この判読不能は離れ難くない」ということは本当である fact16: あの不条理は離れ難くない fact17: そのドラムセットは図々しい fact18: あの不条理が図々しいということはないとすればそれは振り当てない
void -> assump1: 以下のように仮定する。あの不条理は図々しかない; fact18 & assump1 -> int1: あの不条理は振り当てない; int1 & fact15 -> int2: この判読不能は離れ難いということはない; void -> assump2: 以下のように仮定する。「この判読不能は離れ難い」ということは偽でない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不条理は図々しい; fact1 -> int5: もし仮にあの不条理が図々しいならば呼び起こす; int4 & int5 -> int6: あの不条理は呼び起こす; fact8 -> int7: もしも「あの不条理は呼び起こす」ということは本当であるならそれは小暗い; int6 & int7 -> int8: あの不条理は小暗い; [assump2] & int8 -> hypothesis;
あの家庭犬は呼び起こす
$facts$ = fact1: もしもある物は図々しいとしたら「呼び起こす」ということは成り立つ fact2: この判読不能が図々しいということはないとすればあの不条理は離れ難くない fact3: この本断片は離れ難い fact4: 「この判読不能は振り当てない」ということは事実だ fact5: もしもあの不条理が母親らしいとすればそれは二千年初めである fact6: もしもあの家庭犬が小暗いかあるいはそれが離れ難くないとしたら振り当てない fact7: もし仮になにかは呼び起こすなら振り当てる fact8: ある物が呼び起こすなら小暗い fact9: あるものが振り当てないなら図々しかない fact10: この判読不能は呼び起こすということはない fact11: もし仮にこの判読不能が図々しいならば黄帝内経だ fact12: もしなにがしかの物は細胞群であるとすれば欲しい fact13: あの不条理が振り当てないならこの判読不能は離れ難い fact14: 「そのハンディキャップは図々しかない」ということは成り立つ fact15: 仮にあの不条理は振り当てないなら「この判読不能は離れ難くない」ということは本当である fact16: あの不条理は離れ難くない fact17: そのドラムセットは図々しい fact18: あの不条理が図々しいということはないとすればそれは振り当てない ; $hypothesis$ = この判読不能が離れ難いとしたらあの不条理は小暗い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの不条理は図々しかない; fact18 & assump1 -> int1: あの不条理は振り当てない; int1 & fact15 -> int2: この判読不能は離れ難いということはない; void -> assump2: 以下のように仮定する。「この判読不能は離れ難い」ということは偽でない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不条理は図々しい; fact1 -> int5: もし仮にあの不条理が図々しいならば呼び起こす; int4 & int5 -> int6: あの不条理は呼び起こす; fact8 -> int7: もしも「あの不条理は呼び起こす」ということは本当であるならそれは小暗い; int6 & int7 -> int8: あの不条理は小暗い; [assump2] & int8 -> hypothesis; __PROVED__
事実1: もしもある物は図々しいとしたら「呼び起こす」ということは成り立つ
事実2: この判読不能が図々しいということはないとすればあの不条理は離れ難くない
事実3: この本断片は離れ難い
事実4: 「この判読不能は振り当てない」ということは事実だ
事実5: もしもあの不条理が母親らしいとすればそれは二千年初めである
事実6: もしもあの家庭犬が小暗いかあるいはそれが離れ難くないとしたら振り当てない
事実7: もし仮になにかは呼び起こすなら振り当てる
事実8: ある物が呼び起こすなら小暗い
事実9: あるものが振り当てないなら図々しかない
事実10: この判読不能は呼び起こすということはない
事実11: もし仮にこの判読不能が図々しいならば黄帝内経だ
事実12: もしなにがしかの物は細胞群であるとすれば欲しい
事実13: あの不条理が振り当てないならこの判読不能は離れ難い
事実14: 「そのハンディキャップは図々しかない」ということは成り立つ
事実15: 仮にあの不条理は振り当てないなら「この判読不能は離れ難くない」ということは本当である
事実16: あの不条理は離れ難くない
事実17: そのドラムセットは図々しい
事実18: あの不条理が図々しいということはないとすればそれは振り当てない

仮説: この判読不能が離れ難いとしたらあの不条理は小暗い
1. 仮定1: 以下のように仮定する。あの不条理は図々しかない
2. 事実18と仮定1から、推論1: "あの不条理は振り当てない"が導かれる
3. 推論1と事実15から、推論2: "この判読不能は離れ難いということはない"が導かれる
4. 仮定2: 以下のように仮定する。「この判読不能は離れ難い」ということは偽でない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あの不条理は図々しい"が導かれる
7. 事実1から、推論5: "もし仮にあの不条理が図々しいならば呼び起こす"が導かれる
8. 推論4と推論5から、推論6: "あの不条理は呼び起こす"が導かれる
9. 事実8から、推論7: "もしも「あの不条理は呼び起こす」ということは本当であるならそれは小暗い"が導かれる
10. 推論6と推論7から、推論8: "あの不条理は小暗い"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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