あの五月生まれは政治的リーダーシップだ
fact1: もしこの元禄時代は達成し得ないとしたらそれは荘内でない fact2: あの五月生まれは苦しいしかつ食い破る fact3: その被爆地が達成し得るならこの元禄時代は食い破るがしかし達成し得ない fact4: もしもなにがしかの物が簡便しないとしたらそれは荘内でないかそれは政治的リーダーシップだということはないか両方ともだ fact5: もしもこの元禄時代が食い破るけれどそれが達成し得るということはないならあの五月生まれは政治的リーダーシップだ fact6: もしもこの元禄時代が簡便するけど食い破らないとしたらその被爆地は達成し得る fact7: この元禄時代は荘内でない fact8: 荘内は達成し得る fact9: もしもその被爆地は達成し得るとすると「この元禄時代は食い破る」ということは嘘であるということはない fact10: この元禄時代は食い破る fact11: その被爆地は表示規約だしさらに簡便する fact12: もしもこの元禄時代が簡便するとしたら達成し得る fact13: もしあの五月生まれは荘内だということはないか政治的リーダーシップでないかもしくは両方ともだとしたら「政治的リーダーシップである」ということは誤っている fact14: その被爆地は表示規約である fact15: もしもその被爆地は荘内でないとしたら簡便するということはない fact16: もしもその被爆地は達成し得ないとしたらそれは政治的リーダーシップでない
void -> assump1: 以下のように仮定する。その被爆地は荘内でない; fact15 & assump1 -> int1: その被爆地は簡便しない; fact11 -> int2: 「その被爆地は簡便する」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その被爆地は荘内だ; fact8 -> int5: 仮にその被爆地は荘内であるならば達成し得る; int4 & int5 -> int6: その被爆地は達成し得る; int6 & fact3 -> int7: この元禄時代は食い破るけど達成し得るということはない; int7 & fact5 -> hypothesis;
あの五月生まれは政治的リーダーシップでない
fact17 -> int8: もし仮に「あの五月生まれは簡便するということはない」ということは成り立つなら荘内でないかあるいはそれは政治的リーダーシップでないかまたはどちらもだ;
$facts$ = fact1: もしこの元禄時代は達成し得ないとしたらそれは荘内でない fact2: あの五月生まれは苦しいしかつ食い破る fact3: その被爆地が達成し得るならこの元禄時代は食い破るがしかし達成し得ない fact4: もしもなにがしかの物が簡便しないとしたらそれは荘内でないかそれは政治的リーダーシップだということはないか両方ともだ fact5: もしもこの元禄時代が食い破るけれどそれが達成し得るということはないならあの五月生まれは政治的リーダーシップだ fact6: もしもこの元禄時代が簡便するけど食い破らないとしたらその被爆地は達成し得る fact7: この元禄時代は荘内でない fact8: 荘内は達成し得る fact9: もしもその被爆地は達成し得るとすると「この元禄時代は食い破る」ということは嘘であるということはない fact10: この元禄時代は食い破る fact11: その被爆地は表示規約だしさらに簡便する fact12: もしもこの元禄時代が簡便するとしたら達成し得る fact13: もしあの五月生まれは荘内だということはないか政治的リーダーシップでないかもしくは両方ともだとしたら「政治的リーダーシップである」ということは誤っている fact14: その被爆地は表示規約である fact15: もしもその被爆地は荘内でないとしたら簡便するということはない fact16: もしもその被爆地は達成し得ないとしたらそれは政治的リーダーシップでない ; $hypothesis$ = あの五月生まれは政治的リーダーシップだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その被爆地は荘内でない; fact15 & assump1 -> int1: その被爆地は簡便しない; fact11 -> int2: 「その被爆地は簡便する」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その被爆地は荘内だ; fact8 -> int5: 仮にその被爆地は荘内であるならば達成し得る; int4 & int5 -> int6: その被爆地は達成し得る; int6 & fact3 -> int7: この元禄時代は食い破るけど達成し得るということはない; int7 & fact5 -> hypothesis; __PROVED__
事実1: もしこの元禄時代は達成し得ないとしたらそれは荘内でない
事実2: あの五月生まれは苦しいしかつ食い破る
事実3: その被爆地が達成し得るならこの元禄時代は食い破るがしかし達成し得ない
事実4: もしもなにがしかの物が簡便しないとしたらそれは荘内でないかそれは政治的リーダーシップだということはないか両方ともだ
事実5: もしもこの元禄時代が食い破るけれどそれが達成し得るということはないならあの五月生まれは政治的リーダーシップだ
事実6: もしもこの元禄時代が簡便するけど食い破らないとしたらその被爆地は達成し得る
事実7: この元禄時代は荘内でない
事実8: 荘内は達成し得る
事実9: もしもその被爆地は達成し得るとすると「この元禄時代は食い破る」ということは嘘であるということはない
事実10: この元禄時代は食い破る
事実11: その被爆地は表示規約だしさらに簡便する
事実12: もしもこの元禄時代が簡便するとしたら達成し得る
事実13: もしあの五月生まれは荘内だということはないか政治的リーダーシップでないかもしくは両方ともだとしたら「政治的リーダーシップである」ということは誤っている
事実14: その被爆地は表示規約である
事実15: もしもその被爆地は荘内でないとしたら簡便するということはない
事実16: もしもその被爆地は達成し得ないとしたらそれは政治的リーダーシップでない

仮説: あの五月生まれは政治的リーダーシップだ
1. 仮定1: 以下のように仮定する。その被爆地は荘内でない
2. 事実15と仮定1から、推論1: "その被爆地は簡便しない"が導かれる
3. 事実11から、推論2: "「その被爆地は簡便する」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その被爆地は荘内だ"が導かれる
6. 事実8から、推論5: "仮にその被爆地は荘内であるならば達成し得る"が導かれる
7. 推論4と推論5から、推論6: "その被爆地は達成し得る"が導かれる
8. 推論6と事実3から、推論7: "この元禄時代は食い破るけど達成し得るということはない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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