そのリセットは打ち掛けるしそれに覚え難い
fact1: もし仮にそのリセットが保ち易くて覚え難いならばあの各所は発生し難いということはない fact2: あの各所は発生し難いかあるいは保ち易くない fact3: もし「そのリセットは覚え難くない」ということは確かであるとすると病原である fact4: もしあの各所は素早くないけど覚え難いとすると病原である fact5: もしその蛇床子が打ち掛けるとするとそれは次の間付きである fact6: あの各所は青白いということはないけど困窮する fact7: もしも「あの各所は青白くないがしかし困窮する」ということは成り立てば「それは人有りである」ということは真実だ fact8: もし仮にあの各所が素早くないとするとそのリセットは保ち易くないしそれに発生し難くない fact9: そのリセットは困窮する fact10: あのポロは覚え難い fact11: もし仮にその蛇床子が次の間付きだとするとそれは保ち易い fact12: そのリセットは素早い fact13: そのリセットは青白くてかつ仕上がる fact14: あの各所は素早いし病原だとしたら「そのリセットは次の間付きでない」ということは成り立つ fact15: 結び付き易くないか伝わり易くないものは百三十一Ｉ‐ＭＩＢＧだ fact16: あの各所は次の間付きである fact17: そのリセットは青白いしその上覚え難い fact18: ある物が次の間付きでないとすると打ち掛けるし加えてそれは覚え難い fact19: もしもなんらかのものは人有りであるとすればそれは病原である fact20: 発生し難くないかあるいは保ち易くないものは素早い fact21: もしもそのリセットは次の間付きであるということはないとすればそれは覚え難い fact22: その蛇床子は覚え難いししかも打ち掛ける fact23: 仮になにがしかのものは発生し難くないならば「それは打ち掛けるし覚え難い」ということは成り立たない fact24: あの各所が覚え難くて更に人有りだとすればそのリセットは素早いということはない fact25: あの各所は保ち易くない fact26: 仮にそのリセットが次の間付きだとしたら病原である
fact25 -> int1: あの各所は発生し難くないかあるいはそれは保ち易くない; fact20 -> int2: もしあの各所は発生し難くないか保ち易くないかあるいはどちらもだとすればそれは素早い; int1 & int2 -> int3: あの各所は素早い; fact6 & fact7 -> int4: 「あの各所は人有りである」ということは事実だ; fact19 -> int5: もしもあの各所は人有りであるとしたらそれは病原だ; int4 & int5 -> int6: あの各所は病原だ; int3 & int6 -> int7: あの各所は素早いししかもそれは病原である; int7 & fact14 -> int8: そのリセットは次の間付きでない; fact18 -> int9: もしもそのリセットは次の間付きでないとしたら打ち掛けるし加えて覚え難い; int8 & int9 -> hypothesis;
「そのリセットは打ち掛けるしその上覚え難い」ということは間違っている
fact28 -> int10: もし仮にそのリセットは発生し難くないならば「それは打ち掛けるししかも覚え難い」ということは成り立たない;
$facts$ = fact1: もし仮にそのリセットが保ち易くて覚え難いならばあの各所は発生し難いということはない fact2: あの各所は発生し難いかあるいは保ち易くない fact3: もし「そのリセットは覚え難くない」ということは確かであるとすると病原である fact4: もしあの各所は素早くないけど覚え難いとすると病原である fact5: もしその蛇床子が打ち掛けるとするとそれは次の間付きである fact6: あの各所は青白いということはないけど困窮する fact7: もしも「あの各所は青白くないがしかし困窮する」ということは成り立てば「それは人有りである」ということは真実だ fact8: もし仮にあの各所が素早くないとするとそのリセットは保ち易くないしそれに発生し難くない fact9: そのリセットは困窮する fact10: あのポロは覚え難い fact11: もし仮にその蛇床子が次の間付きだとするとそれは保ち易い fact12: そのリセットは素早い fact13: そのリセットは青白くてかつ仕上がる fact14: あの各所は素早いし病原だとしたら「そのリセットは次の間付きでない」ということは成り立つ fact15: 結び付き易くないか伝わり易くないものは百三十一Ｉ‐ＭＩＢＧだ fact16: あの各所は次の間付きである fact17: そのリセットは青白いしその上覚え難い fact18: ある物が次の間付きでないとすると打ち掛けるし加えてそれは覚え難い fact19: もしもなんらかのものは人有りであるとすればそれは病原である fact20: 発生し難くないかあるいは保ち易くないものは素早い fact21: もしもそのリセットは次の間付きであるということはないとすればそれは覚え難い fact22: その蛇床子は覚え難いししかも打ち掛ける fact23: 仮になにがしかのものは発生し難くないならば「それは打ち掛けるし覚え難い」ということは成り立たない fact24: あの各所が覚え難くて更に人有りだとすればそのリセットは素早いということはない fact25: あの各所は保ち易くない fact26: 仮にそのリセットが次の間付きだとしたら病原である ; $hypothesis$ = そのリセットは打ち掛けるしそれに覚え難い ; $proof$ = 
fact25 -> int1: あの各所は発生し難くないかあるいはそれは保ち易くない; fact20 -> int2: もしあの各所は発生し難くないか保ち易くないかあるいはどちらもだとすればそれは素早い; int1 & int2 -> int3: あの各所は素早い; fact6 & fact7 -> int4: 「あの各所は人有りである」ということは事実だ; fact19 -> int5: もしもあの各所は人有りであるとしたらそれは病原だ; int4 & int5 -> int6: あの各所は病原だ; int3 & int6 -> int7: あの各所は素早いししかもそれは病原である; int7 & fact14 -> int8: そのリセットは次の間付きでない; fact18 -> int9: もしもそのリセットは次の間付きでないとしたら打ち掛けるし加えて覚え難い; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮にそのリセットが保ち易くて覚え難いならばあの各所は発生し難いということはない
事実2: あの各所は発生し難いかあるいは保ち易くない
事実3: もし「そのリセットは覚え難くない」ということは確かであるとすると病原である
事実4: もしあの各所は素早くないけど覚え難いとすると病原である
事実5: もしその蛇床子が打ち掛けるとするとそれは次の間付きである
事実6: あの各所は青白いということはないけど困窮する
事実7: もしも「あの各所は青白くないがしかし困窮する」ということは成り立てば「それは人有りである」ということは真実だ
事実8: もし仮にあの各所が素早くないとするとそのリセットは保ち易くないしそれに発生し難くない
事実9: そのリセットは困窮する
事実10: あのポロは覚え難い
事実11: もし仮にその蛇床子が次の間付きだとするとそれは保ち易い
事実12: そのリセットは素早い
事実13: そのリセットは青白くてかつ仕上がる
事実14: あの各所は素早いし病原だとしたら「そのリセットは次の間付きでない」ということは成り立つ
事実15: 結び付き易くないか伝わり易くないものは百三十一Ｉ‐ＭＩＢＧだ
事実16: あの各所は次の間付きである
事実17: そのリセットは青白いしその上覚え難い
事実18: ある物が次の間付きでないとすると打ち掛けるし加えてそれは覚え難い
事実19: もしもなんらかのものは人有りであるとすればそれは病原である
事実20: 発生し難くないかあるいは保ち易くないものは素早い
事実21: もしもそのリセットは次の間付きであるということはないとすればそれは覚え難い
事実22: その蛇床子は覚え難いししかも打ち掛ける
事実23: 仮になにがしかのものは発生し難くないならば「それは打ち掛けるし覚え難い」ということは成り立たない
事実24: あの各所が覚え難くて更に人有りだとすればそのリセットは素早いということはない
事実25: あの各所は保ち易くない
事実26: 仮にそのリセットが次の間付きだとしたら病原である

仮説: そのリセットは打ち掛けるしそれに覚え難い
1. 事実25から、推論1: "あの各所は発生し難くないかあるいはそれは保ち易くない"が導かれる
2. 事実20から、推論2: "もしあの各所は発生し難くないか保ち易くないかあるいはどちらもだとすればそれは素早い"が導かれる
3. 推論1と推論2から、推論3: "あの各所は素早い"が導かれる
4. 事実6と事実7から、推論4: "「あの各所は人有りである」ということは事実だ"が導かれる
5. 事実19から、推論5: "もしもあの各所は人有りであるとしたらそれは病原だ"が導かれる
6. 推論4と推論5から、推論6: "あの各所は病原だ"が導かれる
7. 推論3と推論6から、推論7: "あの各所は素早いししかもそれは病原である"が導かれる
8. 推論7と事実14から、推論8: "そのリセットは次の間付きでない"が導かれる
9. 事実18から、推論9: "もしもそのリセットは次の間付きでないとしたら打ち掛けるし加えて覚え難い"が導かれる
10. 推論8と推論9から、仮説が導かれる

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