そのベッカー母斑がＳＪＭ弁であるならばあの回想イメージはたわいないということはないかもしくはそれは礼儀正しいかあるいは両方である
fact1: その球筋は礼儀正しい fact2: もし仮にそのベッカー母斑は礼儀正しいとしたら「あの回想イメージはたわいないということはないかまたはそれはＳＪＭ弁だ」ということは本当である fact3: そのベッカー母斑は纏め買いである fact4: 「そのベッカー母斑はＳＪＭ弁であるかまたはそれはたわいないか両方ともである」ということは正しい fact5: 「あの回想イメージはたわいなくないかまたは礼儀正しいかどちらもである」ということは成り立たないとすればそのベッカー母斑はＳＪＭ弁でない fact6: 「あの回想イメージはたわいないということはないかあるいはそれはＳＪＭ弁である」ということは嘘である fact7: もしあの回想イメージがたわいなくないかあるいは礼儀正しいかあるいは両方ともならそのベッカー母斑はＳＪＭ弁でない fact8: もしそのベッカー母斑がＳＪＭ弁ならばあの回想イメージはたわいないかもしくは礼儀正しいかまたは両方ともである fact9: 仮にそのベッカー母斑が礼儀正しいとするとあの回想イメージはたわいないかもしくはＳＪＭ弁であるかまたはどちらもだ fact10: 「あの回想イメージはたわいないかまたは礼儀正しいか両方である」ということは成り立たないならそのベッカー母斑はＳＪＭ弁でない fact11: 「あの気立てはＳＪＭ弁である」ということは真実だ fact12: もし仮に「あの回想イメージはＳＪＭ弁でないかまたはそれは礼儀正しいかあるいは両方ともだ」ということは間違っているとするとそのベッカー母斑はたわいなくない fact13: 「あの回想イメージはたわいない」ということは確かだ fact14: そのベッカー母斑はたわいない fact15: もし「あの回想イメージはたわいなくないか礼儀正しいかあるいは両方である」ということは間違いだとしたら「そのベッカー母斑はＳＪＭ弁だ」ということは事実である fact16: あの回想イメージはたわいないかもしくは礼儀正しいか両方ともだ fact17: もし「あの回想イメージはたわいないということはないかＳＪＭ弁であるか両方ともだ」ということは成り立たないとするとそのベッカー母斑は礼儀正しくない fact18: あの回想イメージはＳＪＭ弁だということはない
void -> assump1: 以下のように仮定する。「あの回想イメージはたわいなくないか礼儀正しいかまたは両方だ」ということは成り立たない; fact5 & assump1 -> int1: そのベッカー母斑はＳＪＭ弁でない; void -> assump2: 以下のように仮定する。そのベッカー母斑はＳＪＭ弁だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの回想イメージはたわいないということはないかあるいはそれは礼儀正しい; [assump2] & int3 -> hypothesis;
$facts$ = fact1: その球筋は礼儀正しい fact2: もし仮にそのベッカー母斑は礼儀正しいとしたら「あの回想イメージはたわいないということはないかまたはそれはＳＪＭ弁だ」ということは本当である fact3: そのベッカー母斑は纏め買いである fact4: 「そのベッカー母斑はＳＪＭ弁であるかまたはそれはたわいないか両方ともである」ということは正しい fact5: 「あの回想イメージはたわいなくないかまたは礼儀正しいかどちらもである」ということは成り立たないとすればそのベッカー母斑はＳＪＭ弁でない fact6: 「あの回想イメージはたわいないということはないかあるいはそれはＳＪＭ弁である」ということは嘘である fact7: もしあの回想イメージがたわいなくないかあるいは礼儀正しいかあるいは両方ともならそのベッカー母斑はＳＪＭ弁でない fact8: もしそのベッカー母斑がＳＪＭ弁ならばあの回想イメージはたわいないかもしくは礼儀正しいかまたは両方ともである fact9: 仮にそのベッカー母斑が礼儀正しいとするとあの回想イメージはたわいないかもしくはＳＪＭ弁であるかまたはどちらもだ fact10: 「あの回想イメージはたわいないかまたは礼儀正しいか両方である」ということは成り立たないならそのベッカー母斑はＳＪＭ弁でない fact11: 「あの気立てはＳＪＭ弁である」ということは真実だ fact12: もし仮に「あの回想イメージはＳＪＭ弁でないかまたはそれは礼儀正しいかあるいは両方ともだ」ということは間違っているとするとそのベッカー母斑はたわいなくない fact13: 「あの回想イメージはたわいない」ということは確かだ fact14: そのベッカー母斑はたわいない fact15: もし「あの回想イメージはたわいなくないか礼儀正しいかあるいは両方である」ということは間違いだとしたら「そのベッカー母斑はＳＪＭ弁だ」ということは事実である fact16: あの回想イメージはたわいないかもしくは礼儀正しいか両方ともだ fact17: もし「あの回想イメージはたわいないということはないかＳＪＭ弁であるか両方ともだ」ということは成り立たないとするとそのベッカー母斑は礼儀正しくない fact18: あの回想イメージはＳＪＭ弁だということはない ; $hypothesis$ = そのベッカー母斑がＳＪＭ弁であるならばあの回想イメージはたわいないということはないかもしくはそれは礼儀正しいかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの回想イメージはたわいなくないか礼儀正しいかまたは両方だ」ということは成り立たない; fact5 & assump1 -> int1: そのベッカー母斑はＳＪＭ弁でない; void -> assump2: 以下のように仮定する。そのベッカー母斑はＳＪＭ弁だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの回想イメージはたわいないということはないかあるいはそれは礼儀正しい; [assump2] & int3 -> hypothesis; __PROVED__
事実1: その球筋は礼儀正しい
事実2: もし仮にそのベッカー母斑は礼儀正しいとしたら「あの回想イメージはたわいないということはないかまたはそれはＳＪＭ弁だ」ということは本当である
事実3: そのベッカー母斑は纏め買いである
事実4: 「そのベッカー母斑はＳＪＭ弁であるかまたはそれはたわいないか両方ともである」ということは正しい
事実5: 「あの回想イメージはたわいなくないかまたは礼儀正しいかどちらもである」ということは成り立たないとすればそのベッカー母斑はＳＪＭ弁でない
事実6: 「あの回想イメージはたわいないということはないかあるいはそれはＳＪＭ弁である」ということは嘘である
事実7: もしあの回想イメージがたわいなくないかあるいは礼儀正しいかあるいは両方ともならそのベッカー母斑はＳＪＭ弁でない
事実8: もしそのベッカー母斑がＳＪＭ弁ならばあの回想イメージはたわいないかもしくは礼儀正しいかまたは両方ともである
事実9: 仮にそのベッカー母斑が礼儀正しいとするとあの回想イメージはたわいないかもしくはＳＪＭ弁であるかまたはどちらもだ
事実10: 「あの回想イメージはたわいないかまたは礼儀正しいか両方である」ということは成り立たないならそのベッカー母斑はＳＪＭ弁でない
事実11: 「あの気立てはＳＪＭ弁である」ということは真実だ
事実12: もし仮に「あの回想イメージはＳＪＭ弁でないかまたはそれは礼儀正しいかあるいは両方ともだ」ということは間違っているとするとそのベッカー母斑はたわいなくない
事実13: 「あの回想イメージはたわいない」ということは確かだ
事実14: そのベッカー母斑はたわいない
事実15: もし「あの回想イメージはたわいなくないか礼儀正しいかあるいは両方である」ということは間違いだとしたら「そのベッカー母斑はＳＪＭ弁だ」ということは事実である
事実16: あの回想イメージはたわいないかもしくは礼儀正しいか両方ともだ
事実17: もし「あの回想イメージはたわいないということはないかＳＪＭ弁であるか両方ともだ」ということは成り立たないとするとそのベッカー母斑は礼儀正しくない
事実18: あの回想イメージはＳＪＭ弁だということはない

仮説: そのベッカー母斑がＳＪＭ弁であるならばあの回想イメージはたわいないということはないかもしくはそれは礼儀正しいかあるいは両方である
1. 仮定1: 以下のように仮定する。「あの回想イメージはたわいなくないか礼儀正しいかまたは両方だ」ということは成り立たない
2. 事実5と仮定1から、推論1: "そのベッカー母斑はＳＪＭ弁でない"が導かれる
3. 仮定2: 以下のように仮定する。そのベッカー母斑はＳＪＭ弁だ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの回想イメージはたわいないということはないかあるいはそれは礼儀正しい"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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