あの甲州道中は忘れ為さる
fact1: そつ無いものは忘れ為さる fact2: もしあの全機が商業地区ならばちょろい fact3: もし「なにかは再統合するけど掻き始めない」ということは本当でないとするとそれは妨害だということはない fact4: なにがしかの物は掻き始める fact5: とある物は掻き始めない fact6: もし仮にこの林間学校がちゃんとしないとすればあの全機はちゃんとするということはない fact7: もし仮に「この林間学校はちゃんとするししかもそれは掻き始める」ということは誤りだとしたら「あの全機はちゃんとしない」ということは事実である fact8: もしもこの塩化物はオールドでないとすれば「「それは再統合するしかつそれは掻き始めない」ということは確かだ」ということは成り立たない fact9: もしもこの三国同盟論は妨害でないなら「この林間学校はプロリーグだがしかしそつ無くない」ということは成り立たない fact10: 仮に「とあるものはプロリーグだけどそつ無くない」ということは偽だとすれば「それはちゃんとする」ということは確かである fact11: 仮にこの塩化物が妨害でないならばこの三国同盟論は妨害でない fact12: もし「掻き始めない」物はあるとしたら「この林間学校はちゃんとするしさらに掻き始める」ということは成り立たない fact13: あの甲州道中はプロリーグである fact14: ちょろい物はちゃんとする fact15: もしこの塩化物が甘くない一方でそれが其れらしいとするとオールドでない fact16: もしもあの全機が商業地区でないとしたらあの甲州道中はプロリーグだ fact17: もしも「あの全機は商業地区でない」ということは本当であるとしたらあの甲州道中はプロリーグであるしそれにそれはそつ無い
void -> assump1: 以下のように仮定する。あの全機は商業地区である; fact2 & assump1 -> int1: あの全機はちょろい; fact14 -> int2: もしもあの全機がちょろいならばちゃんとする; int1 & int2 -> int3: 「あの全機はちゃんとする」ということは成り立つ; fact12 & fact5 -> int4: 「この林間学校はちゃんとするしまた掻き始める」ということは偽である; fact7 & int4 -> int5: あの全機はちゃんとしない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの全機は商業地区でない; int7 & fact17 -> int8: あの甲州道中はプロリーグでそつ無い; int8 -> int9: あの甲州道中はそつ無い; fact1 -> int10: あの甲州道中がそつ無いならばそれは忘れ為さる; int9 & int10 -> hypothesis;
あの甲州道中は忘れ為さらない
fact18 -> int11: 「「この林間学校はプロリーグでありそつ無くない」ということは成り立たないならこの林間学校はちゃんとする」ということは成り立つ; fact22 -> int12: もし「この塩化物は再統合するけれど掻き始めない」ということは真実でないとしたら妨害だということはない;
$facts$ = fact1: そつ無いものは忘れ為さる fact2: もしあの全機が商業地区ならばちょろい fact3: もし「なにかは再統合するけど掻き始めない」ということは本当でないとするとそれは妨害だということはない fact4: なにがしかの物は掻き始める fact5: とある物は掻き始めない fact6: もし仮にこの林間学校がちゃんとしないとすればあの全機はちゃんとするということはない fact7: もし仮に「この林間学校はちゃんとするししかもそれは掻き始める」ということは誤りだとしたら「あの全機はちゃんとしない」ということは事実である fact8: もしもこの塩化物はオールドでないとすれば「「それは再統合するしかつそれは掻き始めない」ということは確かだ」ということは成り立たない fact9: もしもこの三国同盟論は妨害でないなら「この林間学校はプロリーグだがしかしそつ無くない」ということは成り立たない fact10: 仮に「とあるものはプロリーグだけどそつ無くない」ということは偽だとすれば「それはちゃんとする」ということは確かである fact11: 仮にこの塩化物が妨害でないならばこの三国同盟論は妨害でない fact12: もし「掻き始めない」物はあるとしたら「この林間学校はちゃんとするしさらに掻き始める」ということは成り立たない fact13: あの甲州道中はプロリーグである fact14: ちょろい物はちゃんとする fact15: もしこの塩化物が甘くない一方でそれが其れらしいとするとオールドでない fact16: もしもあの全機が商業地区でないとしたらあの甲州道中はプロリーグだ fact17: もしも「あの全機は商業地区でない」ということは本当であるとしたらあの甲州道中はプロリーグであるしそれにそれはそつ無い ; $hypothesis$ = あの甲州道中は忘れ為さる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの全機は商業地区である; fact2 & assump1 -> int1: あの全機はちょろい; fact14 -> int2: もしもあの全機がちょろいならばちゃんとする; int1 & int2 -> int3: 「あの全機はちゃんとする」ということは成り立つ; fact12 & fact5 -> int4: 「この林間学校はちゃんとするしまた掻き始める」ということは偽である; fact7 & int4 -> int5: あの全機はちゃんとしない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの全機は商業地区でない; int7 & fact17 -> int8: あの甲州道中はプロリーグでそつ無い; int8 -> int9: あの甲州道中はそつ無い; fact1 -> int10: あの甲州道中がそつ無いならばそれは忘れ為さる; int9 & int10 -> hypothesis; __PROVED__
事実1: そつ無いものは忘れ為さる
事実2: もしあの全機が商業地区ならばちょろい
事実3: もし「なにかは再統合するけど掻き始めない」ということは本当でないとするとそれは妨害だということはない
事実4: なにがしかの物は掻き始める
事実5: とある物は掻き始めない
事実6: もし仮にこの林間学校がちゃんとしないとすればあの全機はちゃんとするということはない
事実7: もし仮に「この林間学校はちゃんとするししかもそれは掻き始める」ということは誤りだとしたら「あの全機はちゃんとしない」ということは事実である
事実8: もしもこの塩化物はオールドでないとすれば「「それは再統合するしかつそれは掻き始めない」ということは確かだ」ということは成り立たない
事実9: もしもこの三国同盟論は妨害でないなら「この林間学校はプロリーグだがしかしそつ無くない」ということは成り立たない
事実10: 仮に「とあるものはプロリーグだけどそつ無くない」ということは偽だとすれば「それはちゃんとする」ということは確かである
事実11: 仮にこの塩化物が妨害でないならばこの三国同盟論は妨害でない
事実12: もし「掻き始めない」物はあるとしたら「この林間学校はちゃんとするしさらに掻き始める」ということは成り立たない
事実13: あの甲州道中はプロリーグである
事実14: ちょろい物はちゃんとする
事実15: もしこの塩化物が甘くない一方でそれが其れらしいとするとオールドでない
事実16: もしもあの全機が商業地区でないとしたらあの甲州道中はプロリーグだ
事実17: もしも「あの全機は商業地区でない」ということは本当であるとしたらあの甲州道中はプロリーグであるしそれにそれはそつ無い

仮説: あの甲州道中は忘れ為さる
1. 仮定1: 以下のように仮定する。あの全機は商業地区である
2. 事実2と仮定1から、推論1: "あの全機はちょろい"が導かれる
3. 事実14から、推論2: "もしもあの全機がちょろいならばちゃんとする"が導かれる
4. 推論1と推論2から、推論3: "「あの全機はちゃんとする」ということは成り立つ"が導かれる
5. 事実12と事実5から、推論4: "「この林間学校はちゃんとするしまた掻き始める」ということは偽である"が導かれる
6. 事実7と推論4から、推論5: "あの全機はちゃんとしない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの全機は商業地区でない"が導かれる
9. 推論7と事実17から、推論8: "あの甲州道中はプロリーグでそつ無い"が導かれる
10. 推論8から、推論9: "あの甲州道中はそつ無い"が導かれる
11. 事実1から、推論10: "あの甲州道中がそつ無いならばそれは忘れ為さる"が導かれる
12. 推論9と推論10から、仮説が導かれる

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