あの伸び放題が規則正しいということはないとしたらその守備力は切り易くなくてそれに勉学しない
fact1: もし「その守備力は切り易くない」ということは誤りであるならばあの伸び放題は勉学しないし加えて規則正しくない fact2: あの一トン当たりは切り易いということはないし国際入札でない fact3: もしも何かは切り易いならそれは規則正しくないし果せるということはない fact4: もしあの伸び放題が規則正しいならその守備力は切り易くなくてしかも勉学しない fact5: その守備力が規則正しくないとするとあの伸び放題は切り易くないし更にそれは勉学するということはない fact6: その特急は切り易くない fact7: あの伸び放題が規則正しくないとするとその守備力は切り易いが勉学しない fact8: その守備力は勉学するということはなくて加えて規則正しいということはない fact9: もし仮にあるものが規則正しいということはないとすればあの守備力は切り易くなくておまけにそれは勉学しない fact10: 仮に何かは規則正しくないならばあの守備力は勉学しない
void -> assump1: 以下のように仮定する。「あの伸び放題は規則正しいということはない」ということは成り立つ; assump1 -> int1: 何かは規則正しくない; int1 & fact9 -> int2: その守備力は切り易くなくてしかも勉学しない; [assump1] & int2 -> hypothesis;
なにかは果せらない
fact11 -> int3: 「仮にあの明通寺は切り易いとしたら「あの明通寺は規則正しくないし更に果せらない」ということは成り立つ」ということは真実である;
$facts$ = fact1: もし「その守備力は切り易くない」ということは誤りであるならばあの伸び放題は勉学しないし加えて規則正しくない fact2: あの一トン当たりは切り易いということはないし国際入札でない fact3: もしも何かは切り易いならそれは規則正しくないし果せるということはない fact4: もしあの伸び放題が規則正しいならその守備力は切り易くなくてしかも勉学しない fact5: その守備力が規則正しくないとするとあの伸び放題は切り易くないし更にそれは勉学するということはない fact6: その特急は切り易くない fact7: あの伸び放題が規則正しくないとするとその守備力は切り易いが勉学しない fact8: その守備力は勉学するということはなくて加えて規則正しいということはない fact9: もし仮にあるものが規則正しいということはないとすればあの守備力は切り易くなくておまけにそれは勉学しない fact10: 仮に何かは規則正しくないならばあの守備力は勉学しない ; $hypothesis$ = あの伸び放題が規則正しいということはないとしたらその守備力は切り易くなくてそれに勉学しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの伸び放題は規則正しいということはない」ということは成り立つ; assump1 -> int1: 何かは規則正しくない; int1 & fact9 -> int2: その守備力は切り易くなくてしかも勉学しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし「その守備力は切り易くない」ということは誤りであるならばあの伸び放題は勉学しないし加えて規則正しくない
事実2: あの一トン当たりは切り易いということはないし国際入札でない
事実3: もしも何かは切り易いならそれは規則正しくないし果せるということはない
事実4: もしあの伸び放題が規則正しいならその守備力は切り易くなくてしかも勉学しない
事実5: その守備力が規則正しくないとするとあの伸び放題は切り易くないし更にそれは勉学するということはない
事実6: その特急は切り易くない
事実7: あの伸び放題が規則正しくないとするとその守備力は切り易いが勉学しない
事実8: その守備力は勉学するということはなくて加えて規則正しいということはない
事実9: もし仮にあるものが規則正しいということはないとすればあの守備力は切り易くなくておまけにそれは勉学しない
事実10: 仮に何かは規則正しくないならばあの守備力は勉学しない

仮説: あの伸び放題が規則正しいということはないとしたらその守備力は切り易くなくてそれに勉学しない
1. 仮定1: 以下のように仮定する。「あの伸び放題は規則正しいということはない」ということは成り立つ
2. 仮定1から、推論1: "何かは規則正しくない"が導かれる
3. 推論1と事実9から、推論2: "その守備力は切り易くなくてしかも勉学しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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