そのオールスター戦は抜け易いということはない
fact1: 何らかのものは秘薬であるとすると「壊れ易いということはないしさらにフルマラソンである」ということは成り立たない fact2: もしあの加算同時計数効果は秘薬であるならば「壊れ易くない一方でフルマラソンである」ということは成り立つということはない fact3: もしもなにがしかの物は秘薬であるならば「それは壊れ易くないし更にそれはフルマラソンでない」ということは成り立たない fact4: もしも「あの加算同時計数効果は壊れ易くないしそれにそれはフルマラソンでない」ということは成り立たないとするとそのオールスター戦は抜け易くない fact5: もしも「なにがしかの物は御安くない」ということは成り立つとするとあの加算同時計数効果は秘薬だ fact6: 「もしもあの加算同時計数効果は秘薬であるとしたら「あの加算同時計数効果は壊れ易い一方でフルマラソンでない」ということは成り立たない」ということは成り立つ fact7: もしも「「御安いしその上物らしい」ということは成り立たない」物があるとするとあの加算同時計数効果は秘薬だ fact8: もしもなにがしかの物は秘薬ならば「それは壊れ易くてフルマラソンでない」ということは事実と異なる fact9: とあるものは御安いし物らしい fact10: 「「あの加算同時計数効果は壊れ易くないがフルマラソンである」ということは本当である」ということは偽だ fact11: 「「御安くて物らしい」ということは成り立たない」物はある
fact11 & fact7 -> int1: あの加算同時計数効果は秘薬である; fact3 -> int2: もしあの加算同時計数効果は秘薬だとすれば「それは壊れ易くないしそれにフルマラソンでない」ということは誤りだ; int1 & int2 -> int3: 「あの加算同時計数効果は壊れ易くないしフルマラソンでない」ということは事実と異なる; int3 & fact4 -> hypothesis;
$facts$ = fact1: 何らかのものは秘薬であるとすると「壊れ易いということはないしさらにフルマラソンである」ということは成り立たない fact2: もしあの加算同時計数効果は秘薬であるならば「壊れ易くない一方でフルマラソンである」ということは成り立つということはない fact3: もしもなにがしかの物は秘薬であるならば「それは壊れ易くないし更にそれはフルマラソンでない」ということは成り立たない fact4: もしも「あの加算同時計数効果は壊れ易くないしそれにそれはフルマラソンでない」ということは成り立たないとするとそのオールスター戦は抜け易くない fact5: もしも「なにがしかの物は御安くない」ということは成り立つとするとあの加算同時計数効果は秘薬だ fact6: 「もしもあの加算同時計数効果は秘薬であるとしたら「あの加算同時計数効果は壊れ易い一方でフルマラソンでない」ということは成り立たない」ということは成り立つ fact7: もしも「「御安いしその上物らしい」ということは成り立たない」物があるとするとあの加算同時計数効果は秘薬だ fact8: もしもなにがしかの物は秘薬ならば「それは壊れ易くてフルマラソンでない」ということは事実と異なる fact9: とあるものは御安いし物らしい fact10: 「「あの加算同時計数効果は壊れ易くないがフルマラソンである」ということは本当である」ということは偽だ fact11: 「「御安くて物らしい」ということは成り立たない」物はある ; $hypothesis$ = そのオールスター戦は抜け易いということはない ; $proof$ = 
fact11 & fact7 -> int1: あの加算同時計数効果は秘薬である; fact3 -> int2: もしあの加算同時計数効果は秘薬だとすれば「それは壊れ易くないしそれにフルマラソンでない」ということは誤りだ; int1 & int2 -> int3: 「あの加算同時計数効果は壊れ易くないしフルマラソンでない」ということは事実と異なる; int3 & fact4 -> hypothesis; __PROVED__
事実1: 何らかのものは秘薬であるとすると「壊れ易いということはないしさらにフルマラソンである」ということは成り立たない
事実2: もしあの加算同時計数効果は秘薬であるならば「壊れ易くない一方でフルマラソンである」ということは成り立つということはない
事実3: もしもなにがしかの物は秘薬であるならば「それは壊れ易くないし更にそれはフルマラソンでない」ということは成り立たない
事実4: もしも「あの加算同時計数効果は壊れ易くないしそれにそれはフルマラソンでない」ということは成り立たないとするとそのオールスター戦は抜け易くない
事実5: もしも「なにがしかの物は御安くない」ということは成り立つとするとあの加算同時計数効果は秘薬だ
事実6: 「もしもあの加算同時計数効果は秘薬であるとしたら「あの加算同時計数効果は壊れ易い一方でフルマラソンでない」ということは成り立たない」ということは成り立つ
事実7: もしも「「御安いしその上物らしい」ということは成り立たない」物があるとするとあの加算同時計数効果は秘薬だ
事実8: もしもなにがしかの物は秘薬ならば「それは壊れ易くてフルマラソンでない」ということは事実と異なる
事実9: とあるものは御安いし物らしい
事実10: 「「あの加算同時計数効果は壊れ易くないがフルマラソンである」ということは本当である」ということは偽だ
事実11: 「「御安くて物らしい」ということは成り立たない」物はある

仮説: そのオールスター戦は抜け易いということはない
1. 事実11と事実7から、推論1: "あの加算同時計数効果は秘薬である"が導かれる
2. 事実3から、推論2: "もしあの加算同時計数効果は秘薬だとすれば「それは壊れ易くないしそれにフルマラソンでない」ということは誤りだ"が導かれる
3. 推論1と推論2から、推論3: "「あの加算同時計数効果は壊れ易くないしフルマラソンでない」ということは事実と異なる"が導かれる
4. 推論3と事実4から、仮説が導かれる

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