この関所が打ち直さないとすればあの登録簿は溶け難くない
fact1: 物凄まじくないものは打ち直す fact2: あの罪状は噴流音だ fact3: あの罪状は嘲笑しない fact4: この関所が御祈り申し上げないかもしくは打ち直すということはないかあるいは両方ともだとしたらそれは溶け難い fact5: 仮にこの関所が物凄まじくないとするとこの登録簿は嘲笑しない fact6: なんらかの物は納税額でないならばそれは手広い fact7: もしこの登録簿は嘲笑しないかあるいは打ち直さないかもしくは両方なら溶け難い fact8: もしもとあるものが嘲笑しないかあるいは物凄まじいということはないとするとそれは打ち直す fact9: もしもあの罪状は楽しないか溶け難くないかもしくはどちらもであるとしたら移住出来る fact10: あの罪状が御祈り申し上げないとすればあの登録簿は溶け難くない fact11: この登録簿は嘲笑する fact12: その緊急時は溶け難くない fact13: この登録簿は物凄まじくないかそれは溶け難いということはない fact14: もし仮にこの関所が溶け難くないとしたらこの登録簿は物凄まじくない fact15: あの罪状は物凄まじくない fact16: もしこの登録簿が御祈り申し上げるとするとこの関所は嘲笑しないかまたは溶け難いということはないかまたはどちらもだ fact17: あの罪状は嘲笑しないかあるいは御祈り申し上げないか両方ともである fact18: あの罪状が御祈り申し上げればこの関所は嘲笑するということはないかまたはそれは物凄まじくないかあるいは両方ともだ fact19: 「あの染影は溶け難い」ということは成り立つ fact20: もし仮にこの関所は物凄まじいということはないなら「打ち直す」ということは成り立つ fact21: あの罪状が物凄まじくないならばこの関所は御祈り申し上げる
void -> assump2: 以下のように仮定する。あの罪状は御祈り申し上げる; fact18 & assump2 -> int1: この関所は嘲笑しないかあるいは物凄まじくないかもしくは両方ともである; fact8 -> int2: もしもこの関所が嘲笑しないか物凄まじくないとしたら打ち直す; int1 & int2 -> int3: この関所は打ち直す; void -> assump1: 以下のように仮定する。この関所は打ち直さない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの罪状は御祈り申し上げない; int5 & fact10 -> int6: この登録簿は溶け難くない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 物凄まじくないものは打ち直す fact2: あの罪状は噴流音だ fact3: あの罪状は嘲笑しない fact4: この関所が御祈り申し上げないかもしくは打ち直すということはないかあるいは両方ともだとしたらそれは溶け難い fact5: 仮にこの関所が物凄まじくないとするとこの登録簿は嘲笑しない fact6: なんらかの物は納税額でないならばそれは手広い fact7: もしこの登録簿は嘲笑しないかあるいは打ち直さないかもしくは両方なら溶け難い fact8: もしもとあるものが嘲笑しないかあるいは物凄まじいということはないとするとそれは打ち直す fact9: もしもあの罪状は楽しないか溶け難くないかもしくはどちらもであるとしたら移住出来る fact10: あの罪状が御祈り申し上げないとすればあの登録簿は溶け難くない fact11: この登録簿は嘲笑する fact12: その緊急時は溶け難くない fact13: この登録簿は物凄まじくないかそれは溶け難いということはない fact14: もし仮にこの関所が溶け難くないとしたらこの登録簿は物凄まじくない fact15: あの罪状は物凄まじくない fact16: もしこの登録簿が御祈り申し上げるとするとこの関所は嘲笑しないかまたは溶け難いということはないかまたはどちらもだ fact17: あの罪状は嘲笑しないかあるいは御祈り申し上げないか両方ともである fact18: あの罪状が御祈り申し上げればこの関所は嘲笑するということはないかまたはそれは物凄まじくないかあるいは両方ともだ fact19: 「あの染影は溶け難い」ということは成り立つ fact20: もし仮にこの関所は物凄まじいということはないなら「打ち直す」ということは成り立つ fact21: あの罪状が物凄まじくないならばこの関所は御祈り申し上げる ; $hypothesis$ = この関所が打ち直さないとすればあの登録簿は溶け難くない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの罪状は御祈り申し上げる; fact18 & assump2 -> int1: この関所は嘲笑しないかあるいは物凄まじくないかもしくは両方ともである; fact8 -> int2: もしもこの関所が嘲笑しないか物凄まじくないとしたら打ち直す; int1 & int2 -> int3: この関所は打ち直す; void -> assump1: 以下のように仮定する。この関所は打ち直さない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの罪状は御祈り申し上げない; int5 & fact10 -> int6: この登録簿は溶け難くない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 物凄まじくないものは打ち直す
事実2: あの罪状は噴流音だ
事実3: あの罪状は嘲笑しない
事実4: この関所が御祈り申し上げないかもしくは打ち直すということはないかあるいは両方ともだとしたらそれは溶け難い
事実5: 仮にこの関所が物凄まじくないとするとこの登録簿は嘲笑しない
事実6: なんらかの物は納税額でないならばそれは手広い
事実7: もしこの登録簿は嘲笑しないかあるいは打ち直さないかもしくは両方なら溶け難い
事実8: もしもとあるものが嘲笑しないかあるいは物凄まじいということはないとするとそれは打ち直す
事実9: もしもあの罪状は楽しないか溶け難くないかもしくはどちらもであるとしたら移住出来る
事実10: あの罪状が御祈り申し上げないとすればあの登録簿は溶け難くない
事実11: この登録簿は嘲笑する
事実12: その緊急時は溶け難くない
事実13: この登録簿は物凄まじくないかそれは溶け難いということはない
事実14: もし仮にこの関所が溶け難くないとしたらこの登録簿は物凄まじくない
事実15: あの罪状は物凄まじくない
事実16: もしこの登録簿が御祈り申し上げるとするとこの関所は嘲笑しないかまたは溶け難いということはないかまたはどちらもだ
事実17: あの罪状は嘲笑しないかあるいは御祈り申し上げないか両方ともである
事実18: あの罪状が御祈り申し上げればこの関所は嘲笑するということはないかまたはそれは物凄まじくないかあるいは両方ともだ
事実19: 「あの染影は溶け難い」ということは成り立つ
事実20: もし仮にこの関所は物凄まじいということはないなら「打ち直す」ということは成り立つ
事実21: あの罪状が物凄まじくないならばこの関所は御祈り申し上げる

仮説: この関所が打ち直さないとすればあの登録簿は溶け難くない
1. 仮定2: 以下のように仮定する。あの罪状は御祈り申し上げる
2. 事実18と仮定2から、推論1: "この関所は嘲笑しないかあるいは物凄まじくないかもしくは両方ともである"が導かれる
3. 事実8から、推論2: "もしもこの関所が嘲笑しないか物凄まじくないとしたら打ち直す"が導かれる
4. 推論1と推論2から、推論3: "この関所は打ち直す"が導かれる
5. 仮定1: 以下のように仮定する。この関所は打ち直さない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの罪状は御祈り申し上げない"が導かれる
8. 推論5と事実10から、推論6: "この登録簿は溶け難くない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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