もしも「この国外追放は激しくない」ということは事実なら「その個人戦は物狂おしいかまたは御仕舞うということはないかあるいは両方ともである」ということは事実でない
fact1: もしも「あの内野安打は入り易いし更に怪我する」ということは嘘であるとしたらその個人戦は怪我しない fact2: もしもその個人戦が物狂おしくないとしたらこの国外追放は激しいかあるいは御仕舞わないか両方である fact3: もし仮にその個人戦が御仕舞わないならばあの国外追放は激しい fact4: その個人戦が激しくないとしたらこの国外追放は物狂おしいかまたは御仕舞うということはないかどちらもである fact5: もし仮にその個人戦が物狂おしいとしたらこの国外追放は激しい fact6: もしもあの内野安打は好もしかないとすると「それは入り易いしその上怪我する」ということは間違いである fact7: 仮にこの国外追放は激しいとすると「その個人戦は物狂おしいかまたは御仕舞わない」ということは誤っている fact8: もし仮に「なにがしかの物は御仕舞わないしそれは物狂おしくない」ということは誤っているとしたらそれは御仕舞う fact9: もしなんらかの物が怪我しないならばそれは激しくてまたそれは回れる fact10: 仮にその個人戦が激しいとすればそのチフスは激しい fact11: もし仮にこの国外追放が物狂おしくないとしたらその個人戦は激しいかあるいは御仕舞わない fact12: もしこの国外追放が激しくないとするとその個人戦は物狂おしいか御仕舞わない fact13: その個人戦は激しい fact14: 「仮にこの国外追放は御仕舞うとすれば「その個人戦は物狂おしいかそれは激しくないかもしくはどちらもだ」ということは間違いだ」ということは間違っていない fact15: もしあの内野安打が通りがからないとしたらそれは好もしいということはない fact16: もし仮にこの国外追放が御仕舞えばその個人戦は激しい fact17: 仮にその個人戦が激しいということはないならこの国外追放は御仕舞う
void -> assump2: 以下のように仮定する。その個人戦は物狂おしいかもしくは御仕舞うということはない; assump2 & fact5 & fact3 -> int1: この国外追放は激しい; void -> assump1: 以下のように仮定する。この国外追放は激しくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その個人戦は物狂おしいかまたはそれは御仕舞わないかまたはどちらもである」ということは偽だ; [assump1] & int3 -> hypothesis;
そのチフスは御仕舞う
fact22 -> int4: もし「「そのチフスは御仕舞わないし物狂おしいということはない」ということは誤りだ」ということは成り立つならそれは御仕舞う; fact19 -> int5: 「もしもその個人戦が怪我しないとすればその個人戦は激しくてそれは回れる」ということは成り立つ;
$facts$ = fact1: もしも「あの内野安打は入り易いし更に怪我する」ということは嘘であるとしたらその個人戦は怪我しない fact2: もしもその個人戦が物狂おしくないとしたらこの国外追放は激しいかあるいは御仕舞わないか両方である fact3: もし仮にその個人戦が御仕舞わないならばあの国外追放は激しい fact4: その個人戦が激しくないとしたらこの国外追放は物狂おしいかまたは御仕舞うということはないかどちらもである fact5: もし仮にその個人戦が物狂おしいとしたらこの国外追放は激しい fact6: もしもあの内野安打は好もしかないとすると「それは入り易いしその上怪我する」ということは間違いである fact7: 仮にこの国外追放は激しいとすると「その個人戦は物狂おしいかまたは御仕舞わない」ということは誤っている fact8: もし仮に「なにがしかの物は御仕舞わないしそれは物狂おしくない」ということは誤っているとしたらそれは御仕舞う fact9: もしなんらかの物が怪我しないならばそれは激しくてまたそれは回れる fact10: 仮にその個人戦が激しいとすればそのチフスは激しい fact11: もし仮にこの国外追放が物狂おしくないとしたらその個人戦は激しいかあるいは御仕舞わない fact12: もしこの国外追放が激しくないとするとその個人戦は物狂おしいか御仕舞わない fact13: その個人戦は激しい fact14: 「仮にこの国外追放は御仕舞うとすれば「その個人戦は物狂おしいかそれは激しくないかもしくはどちらもだ」ということは間違いだ」ということは間違っていない fact15: もしあの内野安打が通りがからないとしたらそれは好もしいということはない fact16: もし仮にこの国外追放が御仕舞えばその個人戦は激しい fact17: 仮にその個人戦が激しいということはないならこの国外追放は御仕舞う ; $hypothesis$ = もしも「この国外追放は激しくない」ということは事実なら「その個人戦は物狂おしいかまたは御仕舞うということはないかあるいは両方ともである」ということは事実でない ; $proof$ = 
void -> assump2: 以下のように仮定する。その個人戦は物狂おしいかもしくは御仕舞うということはない; assump2 & fact5 & fact3 -> int1: この国外追放は激しい; void -> assump1: 以下のように仮定する。この国外追放は激しくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その個人戦は物狂おしいかまたはそれは御仕舞わないかまたはどちらもである」ということは偽だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「あの内野安打は入り易いし更に怪我する」ということは嘘であるとしたらその個人戦は怪我しない
事実2: もしもその個人戦が物狂おしくないとしたらこの国外追放は激しいかあるいは御仕舞わないか両方である
事実3: もし仮にその個人戦が御仕舞わないならばあの国外追放は激しい
事実4: その個人戦が激しくないとしたらこの国外追放は物狂おしいかまたは御仕舞うということはないかどちらもである
事実5: もし仮にその個人戦が物狂おしいとしたらこの国外追放は激しい
事実6: もしもあの内野安打は好もしかないとすると「それは入り易いしその上怪我する」ということは間違いである
事実7: 仮にこの国外追放は激しいとすると「その個人戦は物狂おしいかまたは御仕舞わない」ということは誤っている
事実8: もし仮に「なにがしかの物は御仕舞わないしそれは物狂おしくない」ということは誤っているとしたらそれは御仕舞う
事実9: もしなんらかの物が怪我しないならばそれは激しくてまたそれは回れる
事実10: 仮にその個人戦が激しいとすればそのチフスは激しい
事実11: もし仮にこの国外追放が物狂おしくないとしたらその個人戦は激しいかあるいは御仕舞わない
事実12: もしこの国外追放が激しくないとするとその個人戦は物狂おしいか御仕舞わない
事実13: その個人戦は激しい
事実14: 「仮にこの国外追放は御仕舞うとすれば「その個人戦は物狂おしいかそれは激しくないかもしくはどちらもだ」ということは間違いだ」ということは間違っていない
事実15: もしあの内野安打が通りがからないとしたらそれは好もしいということはない
事実16: もし仮にこの国外追放が御仕舞えばその個人戦は激しい
事実17: 仮にその個人戦が激しいということはないならこの国外追放は御仕舞う

仮説: もしも「この国外追放は激しくない」ということは事実なら「その個人戦は物狂おしいかまたは御仕舞うということはないかあるいは両方ともである」ということは事実でない
1. 仮定2: 以下のように仮定する。その個人戦は物狂おしいかもしくは御仕舞うということはない
2. 仮定2と事実5と事実3から、推論1: "この国外追放は激しい"が導かれる
3. 仮定1: 以下のように仮定する。この国外追放は激しくない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その個人戦は物狂おしいかまたはそれは御仕舞わないかまたはどちらもである」ということは偽だ"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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