この包括化は漏れ易くないなら「その守備練習は御便りであるかあるいはバランス良くないか両方ともだ」ということは成り立たない
fact1: その守備練習はもどかしいということはない fact2: もし仮にその守備練習は御便りでないとしたらそれは漏れ易くない fact3: もしもその守備練習は一ラウンドであるということはないとすればそれは漏れ易くなくてその上御便りでない fact4: その守備練習が漏れ易くないとすればあの包括化は漏れ易いかあるいはそれは御便りでないかもしくは両方である fact5: 仮にこの包括化は御便りでないならば「その守備練習は御便りであるかまたはバランス良くないかあるいは両方ともである」ということは間違いである fact6: この包括化は御便りでないとしたら「その守備練習は御便りであるかまたは一ラウンドでない」ということは嘘である fact7: もしその守備練習は漏れ易くないなら「この包括化は一ラウンドであるかもしくはそれは御便りである」ということは成り立たない fact8: 「そのバックログはバランス良いか座り易い」ということは成り立たない fact9: この包括化が漏れ易いということはないなら一ラウンドでなくて更に御便りでない
void -> assump1: 以下のように仮定する。この包括化は漏れ易くない; fact9 & assump1 -> int1: この包括化は一ラウンドでなくてそれは御便りでない; int1 -> int2: この包括化は御便りでない; int2 & fact5 -> int3: 「その守備練習は御便りであるかもしくはバランス良くないかもしくは両方である」ということは間違いである; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その守備練習はもどかしいということはない fact2: もし仮にその守備練習は御便りでないとしたらそれは漏れ易くない fact3: もしもその守備練習は一ラウンドであるということはないとすればそれは漏れ易くなくてその上御便りでない fact4: その守備練習が漏れ易くないとすればあの包括化は漏れ易いかあるいはそれは御便りでないかもしくは両方である fact5: 仮にこの包括化は御便りでないならば「その守備練習は御便りであるかまたはバランス良くないかあるいは両方ともである」ということは間違いである fact6: この包括化は御便りでないとしたら「その守備練習は御便りであるかまたは一ラウンドでない」ということは嘘である fact7: もしその守備練習は漏れ易くないなら「この包括化は一ラウンドであるかもしくはそれは御便りである」ということは成り立たない fact8: 「そのバックログはバランス良いか座り易い」ということは成り立たない fact9: この包括化が漏れ易いということはないなら一ラウンドでなくて更に御便りでない ; $hypothesis$ = この包括化は漏れ易くないなら「その守備練習は御便りであるかあるいはバランス良くないか両方ともだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この包括化は漏れ易くない; fact9 & assump1 -> int1: この包括化は一ラウンドでなくてそれは御便りでない; int1 -> int2: この包括化は御便りでない; int2 & fact5 -> int3: 「その守備練習は御便りであるかもしくはバランス良くないかもしくは両方である」ということは間違いである; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その守備練習はもどかしいということはない
事実2: もし仮にその守備練習は御便りでないとしたらそれは漏れ易くない
事実3: もしもその守備練習は一ラウンドであるということはないとすればそれは漏れ易くなくてその上御便りでない
事実4: その守備練習が漏れ易くないとすればあの包括化は漏れ易いかあるいはそれは御便りでないかもしくは両方である
事実5: 仮にこの包括化は御便りでないならば「その守備練習は御便りであるかまたはバランス良くないかあるいは両方ともである」ということは間違いである
事実6: この包括化は御便りでないとしたら「その守備練習は御便りであるかまたは一ラウンドでない」ということは嘘である
事実7: もしその守備練習は漏れ易くないなら「この包括化は一ラウンドであるかもしくはそれは御便りである」ということは成り立たない
事実8: 「そのバックログはバランス良いか座り易い」ということは成り立たない
事実9: この包括化が漏れ易いということはないなら一ラウンドでなくて更に御便りでない

仮説: この包括化は漏れ易くないなら「その守備練習は御便りであるかあるいはバランス良くないか両方ともだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。この包括化は漏れ易くない
2. 事実9と仮定1から、推論1: "この包括化は一ラウンドでなくてそれは御便りでない"が導かれる
3. 推論1から、推論2: "この包括化は御便りでない"が導かれる
4. 推論2と事実5から、推論3: "「その守備練習は御便りであるかもしくはバランス良くないかもしくは両方である」ということは間違いである"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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