あの信用力は眺め渡す
fact1: この御義理は開運アクションだ fact2: 仮にとある物がやばいかそれが眺め渡すか両方ともであるとすればあの信用力は広しない fact3: もしなにかは眺め渡さないかまたはそれは広しかまたは両方であるとしたらそれは眺め渡さない fact4: もしも何らかの物は広しないなら「開運アクションである」ということは本当だ fact5: 「黴びるかまたは眺め渡すかあるいはどちらもである」ものはある fact6: この抗日根拠地は黴びる fact7: もしも「開運アクションである」物があるとするとこの抗日根拠地は眺め渡さない fact8: あるものは眺め渡すかまたは黴びるか両方である fact9: もし「手巻きである」物があるとすればあの御義理は開運アクションだということはない fact10: この小説現代は眺め渡す fact11: 「もしこの御義理がくどくないとしたらこの御義理は黴びる」ということは事実だ fact12: もしもあるものが開運アクションであるかまたは黴びるとしたらこの御義理は広しない fact13: この御義理は黴びる fact14: もし仮に「やばいかまたは広し」物はあれば「この御義理は黴びない」ということは真実だ fact15: もしもこの抗日根拠地が眺め渡すならあの信用力は広し fact16: もし仮にこの抗日根拠地が開運アクションであるとするとあの信用力は眺め渡す fact17: この御義理は眺め渡すかもしくはそれは進み行くかあるいは両方だ fact18: あの信用力は開運アクションである fact19: 仮になんらかの物は黴びないとすると「眺め渡す」ということは真実である fact20: あの預金振り替えは黴びるということはない fact21: 「黴びるかやばいかあるいは両方な」物はある
void -> assump1: 以下のように仮定する。この抗日根拠地は広し; assump1 -> int1: この抗日根拠地はやばいかまたはそれは広し; int1 -> int2: 「やばいかもしくは広しかどちらもである」ものはある; int2 & fact14 -> int3: 「この御義理は黴びない」ということは確かである; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: この抗日根拠地は広しない; fact4 -> int6: もしこの抗日根拠地が広しということはないならばそれは開運アクションだ; int5 & int6 -> int7: この抗日根拠地は開運アクションだ; int7 & fact16 -> hypothesis;
あの信用力は眺め渡さない
fact22 -> int8: もし仮にあの信用力は眺め渡さないかまたは広しかあるいは両方なら「眺め渡さない」ということは事実と異ならない;
$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 -> assump1: 以下のように仮定する。この抗日根拠地は広し; assump1 -> int1: この抗日根拠地はやばいかまたはそれは広し; int1 -> int2: 「やばいかもしくは広しかどちらもである」ものはある; int2 & fact14 -> int3: 「この御義理は黴びない」ということは確かである; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: この抗日根拠地は広しない; fact4 -> int6: もしこの抗日根拠地が広しということはないならばそれは開運アクションだ; int5 & int6 -> int7: この抗日根拠地は開運アクションだ; int7 & fact16 -> hypothesis; __PROVED__
事実1: この御義理は開運アクションだ
事実2: 仮にとある物がやばいかそれが眺め渡すか両方ともであるとすればあの信用力は広しない
事実3: もしなにかは眺め渡さないかまたはそれは広しかまたは両方であるとしたらそれは眺め渡さない
事実4: もしも何らかの物は広しないなら「開運アクションである」ということは本当だ
事実5: 「黴びるかまたは眺め渡すかあるいはどちらもである」ものはある
事実6: この抗日根拠地は黴びる
事実7: もしも「開運アクションである」物があるとするとこの抗日根拠地は眺め渡さない
事実8: あるものは眺め渡すかまたは黴びるか両方である
事実9: もし「手巻きである」物があるとすればあの御義理は開運アクションだということはない
事実10: この小説現代は眺め渡す
事実11: 「もしこの御義理がくどくないとしたらこの御義理は黴びる」ということは事実だ
事実12: もしもあるものが開運アクションであるかまたは黴びるとしたらこの御義理は広しない
事実13: この御義理は黴びる
事実14: もし仮に「やばいかまたは広し」物はあれば「この御義理は黴びない」ということは真実だ
事実15: もしもこの抗日根拠地が眺め渡すならあの信用力は広し
事実16: もし仮にこの抗日根拠地が開運アクションであるとするとあの信用力は眺め渡す
事実17: この御義理は眺め渡すかもしくはそれは進み行くかあるいは両方だ
事実18: あの信用力は開運アクションである
事実19: 仮になんらかの物は黴びないとすると「眺め渡す」ということは真実である
事実20: あの預金振り替えは黴びるということはない
事実21: 「黴びるかやばいかあるいは両方な」物はある

仮説: あの信用力は眺め渡す
1. 仮定1: 以下のように仮定する。この抗日根拠地は広し
2. 仮定1から、推論1: "この抗日根拠地はやばいかまたはそれは広し"が導かれる
3. 推論1から、推論2: "「やばいかもしくは広しかどちらもである」ものはある"が導かれる
4. 推論2と事実14から、推論3: "「この御義理は黴びない」ということは確かである"が導かれる
5. 推論3と事実13から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この抗日根拠地は広しない"が導かれる
7. 事実4から、推論6: "もしこの抗日根拠地が広しということはないならばそれは開運アクションだ"が導かれる
8. 推論5と推論6から、推論7: "この抗日根拠地は開運アクションだ"が導かれる
9. 推論7と事実16から、仮説が導かれる

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