もしもあの一次救急が犯し難いならその予審判事は緩解者でないしそれは甘くない
fact1: もしもなにがしかの物が習い出せばそれは侘しくないし直送しない fact2: もし仮に「引き返す」物があればその予審判事が集め易くないしさらにそれはどたばたしない fact3: あの集積地は安堵し難いかもしくは引き返すか両方ともである fact4: なんらかのものはどたばたしないとすると「あの一次救急は犯し難いということはなくてまたそれはチェックアウトＡＭでない」ということは真実でない fact5: 「あの一次救急は習い出さなくてその上犯し難くない」ということは成り立つということはないとするとチェックアウトＡＭである fact6: あるものはどたばたするか集め易いとするとそれは引き返さない fact7: もしあの一次救急が引き返さないとしたらその予審判事は緩解者でないしそれは甘くない fact8: もしもなんらかのものがチェックアウトＡＭだとするとどたばたする fact9: 「このピエロは引き返す」ということは確かである
void -> assump2: 以下のように仮定する。あの一次救急は習い出さないしかつ犯し難くない; assump2 -> int1: あの一次救急は犯し難くない; void -> assump1: 以下のように仮定する。あの一次救急は犯し難い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの一次救急は習い出すということはないし加えて犯し難くない」ということは偽だ; int3 & fact5 -> int4: あの一次救急はチェックアウトＡＭだ; fact8 -> int5: もしあの一次救急はチェックアウトＡＭであるとしたら「どたばたする」ということは確かである; int4 & int5 -> int6: あの一次救急はどたばたする; int6 -> int7: あの一次救急はどたばたするかまたはそれは集め易いかまたはどちらもだ; fact6 -> int8: もし仮にあの一次救急がどたばたするかもしくはそれは集め易いか両方ともだとすれば引き返さない; int7 & int8 -> int9: あの一次救急は引き返さない; int9 & fact7 -> int10: 「その予審判事は緩解者でないし更に甘くない」ということは真実である; [assump1] & int10 -> hypothesis;
このアドレスは侘しくないし更に直送するということはない
fact10 -> int11: このアドレスが習い出すとすると侘しくないし加えて直送しない; fact12 -> int12: 何らかの物は引き返す; int12 & fact13 -> int13: その予審判事は集め易くないししかもどたばたしない; int13 -> int14: その予審判事はどたばたしない; int14 -> int15: 「「どたばたしない」ということは事実である」ものはある; int15 & fact11 -> int16: 「あの一次救急は犯し難くないしその上チェックアウトａＭでない」ということは誤りだ; int16 -> int17: 「「犯し難くないしチェックアウトＡＭでない」ということは偽である」ものはある;
$facts$ = fact1: もしもなにがしかの物が習い出せばそれは侘しくないし直送しない fact2: もし仮に「引き返す」物があればその予審判事が集め易くないしさらにそれはどたばたしない fact3: あの集積地は安堵し難いかもしくは引き返すか両方ともである fact4: なんらかのものはどたばたしないとすると「あの一次救急は犯し難いということはなくてまたそれはチェックアウトＡＭでない」ということは真実でない fact5: 「あの一次救急は習い出さなくてその上犯し難くない」ということは成り立つということはないとするとチェックアウトＡＭである fact6: あるものはどたばたするか集め易いとするとそれは引き返さない fact7: もしあの一次救急が引き返さないとしたらその予審判事は緩解者でないしそれは甘くない fact8: もしもなんらかのものがチェックアウトＡＭだとするとどたばたする fact9: 「このピエロは引き返す」ということは確かである ; $hypothesis$ = もしもあの一次救急が犯し難いならその予審判事は緩解者でないしそれは甘くない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの一次救急は習い出さないしかつ犯し難くない; assump2 -> int1: あの一次救急は犯し難くない; void -> assump1: 以下のように仮定する。あの一次救急は犯し難い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの一次救急は習い出すということはないし加えて犯し難くない」ということは偽だ; int3 & fact5 -> int4: あの一次救急はチェックアウトＡＭだ; fact8 -> int5: もしあの一次救急はチェックアウトＡＭであるとしたら「どたばたする」ということは確かである; int4 & int5 -> int6: あの一次救急はどたばたする; int6 -> int7: あの一次救急はどたばたするかまたはそれは集め易いかまたはどちらもだ; fact6 -> int8: もし仮にあの一次救急がどたばたするかもしくはそれは集め易いか両方ともだとすれば引き返さない; int7 & int8 -> int9: あの一次救急は引き返さない; int9 & fact7 -> int10: 「その予審判事は緩解者でないし更に甘くない」ということは真実である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が習い出せばそれは侘しくないし直送しない
事実2: もし仮に「引き返す」物があればその予審判事が集め易くないしさらにそれはどたばたしない
事実3: あの集積地は安堵し難いかもしくは引き返すか両方ともである
事実4: なんらかのものはどたばたしないとすると「あの一次救急は犯し難いということはなくてまたそれはチェックアウトＡＭでない」ということは真実でない
事実5: 「あの一次救急は習い出さなくてその上犯し難くない」ということは成り立つということはないとするとチェックアウトＡＭである
事実6: あるものはどたばたするか集め易いとするとそれは引き返さない
事実7: もしあの一次救急が引き返さないとしたらその予審判事は緩解者でないしそれは甘くない
事実8: もしもなんらかのものがチェックアウトＡＭだとするとどたばたする
事実9: 「このピエロは引き返す」ということは確かである

仮説: もしもあの一次救急が犯し難いならその予審判事は緩解者でないしそれは甘くない
1. 仮定2: 以下のように仮定する。あの一次救急は習い出さないしかつ犯し難くない
2. 仮定2から、推論1: "あの一次救急は犯し難くない"が導かれる
3. 仮定1: 以下のように仮定する。あの一次救急は犯し難い
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの一次救急は習い出すということはないし加えて犯し難くない」ということは偽だ"が導かれる
6. 推論3と事実5から、推論4: "あの一次救急はチェックアウトＡＭだ"が導かれる
7. 事実8から、推論5: "もしあの一次救急はチェックアウトＡＭであるとしたら「どたばたする」ということは確かである"が導かれる
8. 推論4と推論5から、推論6: "あの一次救急はどたばたする"が導かれる
9. 推論6から、推論7: "あの一次救急はどたばたするかまたはそれは集め易いかまたはどちらもだ"が導かれる
10. 事実6から、推論8: "もし仮にあの一次救急がどたばたするかもしくはそれは集め易いか両方ともだとすれば引き返さない"が導かれる
11. 推論7と推論8から、推論9: "あの一次救急は引き返さない"が導かれる
12. 推論9と事実7から、推論10: "「その予審判事は緩解者でないし更に甘くない」ということは真実である"が導かれる
13. [仮定1]と推論10から、仮説が導かれる

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