その各ステップが糊付けするならこの冥府魔道は揺るぎない一方で養育出来ない
fact1: この冥府魔道が貴人ならその各ステップは貴人だ一方で糊付けしない fact2: もしその各ステップが揺るぎないとしたらこの冥府魔道は揺るぎない fact3: もしもその各ステップが糊付けするとすればそれは貴人である fact4: この冥府魔道は揺るぎない fact5: もし仮になにがしかの物が貴人だとすると糊付けする fact6: 仮にその各ステップが糊付けするとすればあの冥府魔道は揺るぎなくて養育出来る fact7: もしその各ステップが揺るぎないならこの冥府魔道は揺るぎなくて養育出来る fact8: あのコルは養育出来る fact9: この冥府魔道は糊付けする fact10: この冥府魔道は養育出来るし加えてそれは糊付けする fact11: この冥府魔道は頑是無いししかもそれは諸味だ fact12: もしも「とある物は回り続ける」ということは事実なら「読み出す」ということは成り立つ fact13: この百円辺りは糊付けする fact14: 「あの前沢家は養育出来る」ということは正しい fact15: その各ステップが揺るぎないとしたらこの冥府魔道は揺るぎないけど養育出来ない fact16: もしもなんらかのものは貴人であるとすると「揺るぎない」ということは正しい fact17: その各ステップが養育出来るとすればこの冥府魔道は揺るぎないが糊付けしない fact18: もし仮にその各ステップが糊付けするとするとこの冥府魔道は揺るぎない
void -> assump1: 以下のように仮定する。その各ステップは糊付けする; fact3 & assump1 -> int1: その各ステップは貴人だ; fact16 -> int2: もしその各ステップが貴人だとすれば揺るぎない; int1 & int2 -> int3: 「その各ステップは揺るぎない」ということは間違っていない; int3 & fact15 -> int4: この冥府魔道は揺るぎないけれど養育出来ない; [assump1] & int4 -> hypothesis;
もしもこの冥府魔道が回り続けるとしたらそれは読み出す
fact19 -> hypothesis;
$facts$ = fact1: この冥府魔道が貴人ならその各ステップは貴人だ一方で糊付けしない fact2: もしその各ステップが揺るぎないとしたらこの冥府魔道は揺るぎない fact3: もしもその各ステップが糊付けするとすればそれは貴人である fact4: この冥府魔道は揺るぎない fact5: もし仮になにがしかの物が貴人だとすると糊付けする fact6: 仮にその各ステップが糊付けするとすればあの冥府魔道は揺るぎなくて養育出来る fact7: もしその各ステップが揺るぎないならこの冥府魔道は揺るぎなくて養育出来る fact8: あのコルは養育出来る fact9: この冥府魔道は糊付けする fact10: この冥府魔道は養育出来るし加えてそれは糊付けする fact11: この冥府魔道は頑是無いししかもそれは諸味だ fact12: もしも「とある物は回り続ける」ということは事実なら「読み出す」ということは成り立つ fact13: この百円辺りは糊付けする fact14: 「あの前沢家は養育出来る」ということは正しい fact15: その各ステップが揺るぎないとしたらこの冥府魔道は揺るぎないけど養育出来ない fact16: もしもなんらかのものは貴人であるとすると「揺るぎない」ということは正しい fact17: その各ステップが養育出来るとすればこの冥府魔道は揺るぎないが糊付けしない fact18: もし仮にその各ステップが糊付けするとするとこの冥府魔道は揺るぎない ; $hypothesis$ = その各ステップが糊付けするならこの冥府魔道は揺るぎない一方で養育出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。その各ステップは糊付けする; fact3 & assump1 -> int1: その各ステップは貴人だ; fact16 -> int2: もしその各ステップが貴人だとすれば揺るぎない; int1 & int2 -> int3: 「その各ステップは揺るぎない」ということは間違っていない; int3 & fact15 -> int4: この冥府魔道は揺るぎないけれど養育出来ない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この冥府魔道が貴人ならその各ステップは貴人だ一方で糊付けしない
事実2: もしその各ステップが揺るぎないとしたらこの冥府魔道は揺るぎない
事実3: もしもその各ステップが糊付けするとすればそれは貴人である
事実4: この冥府魔道は揺るぎない
事実5: もし仮になにがしかの物が貴人だとすると糊付けする
事実6: 仮にその各ステップが糊付けするとすればあの冥府魔道は揺るぎなくて養育出来る
事実7: もしその各ステップが揺るぎないならこの冥府魔道は揺るぎなくて養育出来る
事実8: あのコルは養育出来る
事実9: この冥府魔道は糊付けする
事実10: この冥府魔道は養育出来るし加えてそれは糊付けする
事実11: この冥府魔道は頑是無いししかもそれは諸味だ
事実12: もしも「とある物は回り続ける」ということは事実なら「読み出す」ということは成り立つ
事実13: この百円辺りは糊付けする
事実14: 「あの前沢家は養育出来る」ということは正しい
事実15: その各ステップが揺るぎないとしたらこの冥府魔道は揺るぎないけど養育出来ない
事実16: もしもなんらかのものは貴人であるとすると「揺るぎない」ということは正しい
事実17: その各ステップが養育出来るとすればこの冥府魔道は揺るぎないが糊付けしない
事実18: もし仮にその各ステップが糊付けするとするとこの冥府魔道は揺るぎない

仮説: その各ステップが糊付けするならこの冥府魔道は揺るぎない一方で養育出来ない
1. 仮定1: 以下のように仮定する。その各ステップは糊付けする
2. 事実3と仮定1から、推論1: "その各ステップは貴人だ"が導かれる
3. 事実16から、推論2: "もしその各ステップが貴人だとすれば揺るぎない"が導かれる
4. 推論1と推論2から、推論3: "「その各ステップは揺るぎない」ということは間違っていない"が導かれる
5. 推論3と事実15から、推論4: "この冥府魔道は揺るぎないけれど養育出来ない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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