その第二高等学校は基でない
fact1: もし「この手続き保障は基であるかそれは叙任するかもしくは両方である」ということは成り立たないならばそれは統轄しない fact2: もしこの手続き保障は弱いとしたら「晒され易くないし更に過不足無いということはない」ということは誤りである fact3: その再生利用等は過不足無い fact4: この外野手は叙任するということはない fact5: その第二高等学校は弱いしもがき始める fact6: もしも退出がもがき始めるとしたら過不足無くない fact7: その第二高等学校は終戦工作でない fact8: その再生利用等は弱い fact9: もしこの手続き保障が母巣ならばそれは黄色い fact10: 燃え易いものが製法特許等だとすれば国境でない fact11: その再生利用等は成り切れるし過不足無い fact12: もしその第二高等学校が過不足無いとすればもがき始める fact13: この手続き保障が退出であるならその再生利用等は成り切れない fact14: もし仮にとあるものが叙任するかまたはもがき始めないかどちらもであるならば基だ fact15: もしもその第二高等学校が過不足無いとするとそれは成り切れるし退出だということはない fact16: もしなにがしかのものが成り切れるがしかし退出でないとするとそれは言い出し難い fact17: もしその第二高等学校が言い出し難くないとするとこの手続き保障は退出だ fact18: もしも何かは叙任するしもがき始めるならそれは言い出し難くない fact19: この手続き保障は忘れ難い fact20: この手続き保障は弱い fact21: この手続き保障は叙任しない fact22: もしもその第二高等学校が基だとすればそれは叙任する fact23: もしこの手続き保障がもがき始めればその第二高等学校は退出でない
void -> assump1: 以下のように仮定する。「その第二高等学校は基だ」ということは事実だ; fact22 & assump1 -> int1: その第二高等学校は叙任する; fact5 -> int2: その第二高等学校はもがき始める; int1 & int2 -> int3: その第二高等学校は叙任するしもがき始める; fact18 -> int4: もし仮にその第二高等学校は叙任するしもがき始めるとしたら言い出し難くない; int3 & int4 -> int5: その第二高等学校は言い出し難くない; int5 & fact17 -> int6: この手続き保障は退出だ; int6 & fact13 -> int7: その再生利用等は成り切れない; fact11 -> int8: その再生利用等は成り切れる; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「この手続き保障は統轄しない」ということは成り立つ
$facts$ = fact1: もし「この手続き保障は基であるかそれは叙任するかもしくは両方である」ということは成り立たないならばそれは統轄しない fact2: もしこの手続き保障は弱いとしたら「晒され易くないし更に過不足無いということはない」ということは誤りである fact3: その再生利用等は過不足無い fact4: この外野手は叙任するということはない fact5: その第二高等学校は弱いしもがき始める fact6: もしも退出がもがき始めるとしたら過不足無くない fact7: その第二高等学校は終戦工作でない fact8: その再生利用等は弱い fact9: もしこの手続き保障が母巣ならばそれは黄色い fact10: 燃え易いものが製法特許等だとすれば国境でない fact11: その再生利用等は成り切れるし過不足無い fact12: もしその第二高等学校が過不足無いとすればもがき始める fact13: この手続き保障が退出であるならその再生利用等は成り切れない fact14: もし仮にとあるものが叙任するかまたはもがき始めないかどちらもであるならば基だ fact15: もしもその第二高等学校が過不足無いとするとそれは成り切れるし退出だということはない fact16: もしなにがしかのものが成り切れるがしかし退出でないとするとそれは言い出し難い fact17: もしその第二高等学校が言い出し難くないとするとこの手続き保障は退出だ fact18: もしも何かは叙任するしもがき始めるならそれは言い出し難くない fact19: この手続き保障は忘れ難い fact20: この手続き保障は弱い fact21: この手続き保障は叙任しない fact22: もしもその第二高等学校が基だとすればそれは叙任する fact23: もしこの手続き保障がもがき始めればその第二高等学校は退出でない ; $hypothesis$ = その第二高等学校は基でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その第二高等学校は基だ」ということは事実だ; fact22 & assump1 -> int1: その第二高等学校は叙任する; fact5 -> int2: その第二高等学校はもがき始める; int1 & int2 -> int3: その第二高等学校は叙任するしもがき始める; fact18 -> int4: もし仮にその第二高等学校は叙任するしもがき始めるとしたら言い出し難くない; int3 & int4 -> int5: その第二高等学校は言い出し難くない; int5 & fact17 -> int6: この手続き保障は退出だ; int6 & fact13 -> int7: その再生利用等は成り切れない; fact11 -> int8: その再生利用等は成り切れる; int7 & int8 -> int9: これは矛盾である; [assump1] & 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: もしこの手続き保障がもがき始めればその第二高等学校は退出でない

仮説: その第二高等学校は基でない
1. 仮定1: 以下のように仮定する。「その第二高等学校は基だ」ということは事実だ
2. 事実22と仮定1から、推論1: "その第二高等学校は叙任する"が導かれる
3. 事実5から、推論2: "その第二高等学校はもがき始める"が導かれる
4. 推論1と推論2から、推論3: "その第二高等学校は叙任するしもがき始める"が導かれる
5. 事実18から、推論4: "もし仮にその第二高等学校は叙任するしもがき始めるとしたら言い出し難くない"が導かれる
6. 推論3と推論4から、推論5: "その第二高等学校は言い出し難くない"が導かれる
7. 推論5と事実17から、推論6: "この手続き保障は退出だ"が導かれる
8. 推論6と事実13から、推論7: "その再生利用等は成り切れない"が導かれる
9. 事実11から、推論8: "その再生利用等は成り切れる"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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