このバッチは呆気ない
fact1: もし「このパターン毎は冬らしいがしかしそれは騒々しくない」ということは間違っているとしたらこの稽古は騒々しい fact2: もし仮にこのガイドヘルプが呼び込めるならこの稽古は標準原価でない fact3: この稽古は呼び込めない fact4: この稽古は標準原価でない fact5: もしもあの各種大会が見苦しくないかまたはそれが私達一人一人ならばこのバッチは呆気なくない fact6: 仮になんらかのものが呼び込めるなら呆気ない fact7: あの各種大会は見苦しいかそれは私達一人一人だ fact8: あの各種大会は見苦しい fact9: 「あの各種大会は見苦しいか私達一人一人である」ということは誤りであるとすればこのガイドヘルプは支給水準でない fact10: 騒々しいものは零し始めるということはない fact11: このガイドヘルプが呼び込めるならばあの稽古は標準原価でないがそれは呼び込める fact12: もし由々しということはない物が自書するとしたら標準原価でない fact13: もしこのガイドヘルプが見苦しくないかもしくは支給水準であるかまたは両方ともならあの各種大会は呼び込めるということはない fact14: もし「このガイドヘルプは支給水準だということはない」ということは事実だとしたらそれは呼び込める fact15: もしもあの各種大会が見苦しいということはないならこのバッチは呆気なくない fact16: もしもあの各種大会が呼び込めるとしたらこの稽古は見苦しくない一方でそれは呼び込める fact17: 「このパターン毎は冬らしいがしかし騒々しくない」ということは誤っている fact18: もしも「あの各種大会は見苦しくないかもしくは私達一人一人であるか両方だ」ということは偽であるとすればこのガイドヘルプは支給水準でない fact19: 仮にこの稽古は零し始めないとすると「このガイドヘルプは支給水準であるし対応し易い」ということは間違いだ fact20: 仮に「このガイドヘルプは支給水準だし対応し易い」ということは成り立たないならあの各種大会は支給水準でない fact21: もしこの稽古は私達一人一人でないなら呼び込める
void -> assump1: 以下のように仮定する。「あの各種大会は見苦しくないかあるいは私達一人一人であるか両方ともである」ということは成り立たない; fact18 & assump1 -> int1: このガイドヘルプは支給水準でない; int1 & fact14 -> int2: 「このガイドヘルプは呼び込める」ということは事実だ; int2 & fact11 -> int3: この稽古は標準原価でないけど呼び込める; int3 -> int4: この稽古は呼び込める; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの各種大会は見苦しくないか私達一人一人だ」ということは成り立つ; int6 & fact5 -> hypothesis;
このバッチは呆気ない
fact22 -> int7: もしもこのバッチが呼び込めるとすれば呆気ない; fact25 -> int8: この稽古が騒々しいならばそれは零し始めるということはない; fact23 & fact28 -> int9: この稽古は騒々しい; int8 & int9 -> int10: 「この稽古は零し始めない」ということは正しい; fact26 & int10 -> int11: 「このガイドヘルプは支給水準であるししかもそれは対応し易い」ということは成り立たない; fact24 & int11 -> int12: あの各種大会は支給水準でない; fact27 -> int13: もし仮にあの各種大会は由々しないがしかし自書するとすればそれは標準原価であるということはない;
$facts$ = fact1: もし「このパターン毎は冬らしいがしかしそれは騒々しくない」ということは間違っているとしたらこの稽古は騒々しい fact2: もし仮にこのガイドヘルプが呼び込めるならこの稽古は標準原価でない fact3: この稽古は呼び込めない fact4: この稽古は標準原価でない fact5: もしもあの各種大会が見苦しくないかまたはそれが私達一人一人ならばこのバッチは呆気なくない fact6: 仮になんらかのものが呼び込めるなら呆気ない fact7: あの各種大会は見苦しいかそれは私達一人一人だ fact8: あの各種大会は見苦しい fact9: 「あの各種大会は見苦しいか私達一人一人である」ということは誤りであるとすればこのガイドヘルプは支給水準でない fact10: 騒々しいものは零し始めるということはない fact11: このガイドヘルプが呼び込めるならばあの稽古は標準原価でないがそれは呼び込める fact12: もし由々しということはない物が自書するとしたら標準原価でない fact13: もしこのガイドヘルプが見苦しくないかもしくは支給水準であるかまたは両方ともならあの各種大会は呼び込めるということはない fact14: もし「このガイドヘルプは支給水準だということはない」ということは事実だとしたらそれは呼び込める fact15: もしもあの各種大会が見苦しいということはないならこのバッチは呆気なくない fact16: もしもあの各種大会が呼び込めるとしたらこの稽古は見苦しくない一方でそれは呼び込める fact17: 「このパターン毎は冬らしいがしかし騒々しくない」ということは誤っている fact18: もしも「あの各種大会は見苦しくないかもしくは私達一人一人であるか両方だ」ということは偽であるとすればこのガイドヘルプは支給水準でない fact19: 仮にこの稽古は零し始めないとすると「このガイドヘルプは支給水準であるし対応し易い」ということは間違いだ fact20: 仮に「このガイドヘルプは支給水準だし対応し易い」ということは成り立たないならあの各種大会は支給水準でない fact21: もしこの稽古は私達一人一人でないなら呼び込める ; $hypothesis$ = このバッチは呆気ない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの各種大会は見苦しくないかあるいは私達一人一人であるか両方ともである」ということは成り立たない; fact18 & assump1 -> int1: このガイドヘルプは支給水準でない; int1 & fact14 -> int2: 「このガイドヘルプは呼び込める」ということは事実だ; int2 & fact11 -> int3: この稽古は標準原価でないけど呼び込める; int3 -> int4: この稽古は呼び込める; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの各種大会は見苦しくないか私達一人一人だ」ということは成り立つ; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「このパターン毎は冬らしいがしかしそれは騒々しくない」ということは間違っているとしたらこの稽古は騒々しい
事実2: もし仮にこのガイドヘルプが呼び込めるならこの稽古は標準原価でない
事実3: この稽古は呼び込めない
事実4: この稽古は標準原価でない
事実5: もしもあの各種大会が見苦しくないかまたはそれが私達一人一人ならばこのバッチは呆気なくない
事実6: 仮になんらかのものが呼び込めるなら呆気ない
事実7: あの各種大会は見苦しいかそれは私達一人一人だ
事実8: あの各種大会は見苦しい
事実9: 「あの各種大会は見苦しいか私達一人一人である」ということは誤りであるとすればこのガイドヘルプは支給水準でない
事実10: 騒々しいものは零し始めるということはない
事実11: このガイドヘルプが呼び込めるならばあの稽古は標準原価でないがそれは呼び込める
事実12: もし由々しということはない物が自書するとしたら標準原価でない
事実13: もしこのガイドヘルプが見苦しくないかもしくは支給水準であるかまたは両方ともならあの各種大会は呼び込めるということはない
事実14: もし「このガイドヘルプは支給水準だということはない」ということは事実だとしたらそれは呼び込める
事実15: もしもあの各種大会が見苦しいということはないならこのバッチは呆気なくない
事実16: もしもあの各種大会が呼び込めるとしたらこの稽古は見苦しくない一方でそれは呼び込める
事実17: 「このパターン毎は冬らしいがしかし騒々しくない」ということは誤っている
事実18: もしも「あの各種大会は見苦しくないかもしくは私達一人一人であるか両方だ」ということは偽であるとすればこのガイドヘルプは支給水準でない
事実19: 仮にこの稽古は零し始めないとすると「このガイドヘルプは支給水準であるし対応し易い」ということは間違いだ
事実20: 仮に「このガイドヘルプは支給水準だし対応し易い」ということは成り立たないならあの各種大会は支給水準でない
事実21: もしこの稽古は私達一人一人でないなら呼び込める

仮説: このバッチは呆気ない
1. 仮定1: 以下のように仮定する。「あの各種大会は見苦しくないかあるいは私達一人一人であるか両方ともである」ということは成り立たない
2. 事実18と仮定1から、推論1: "このガイドヘルプは支給水準でない"が導かれる
3. 推論1と事実14から、推論2: "「このガイドヘルプは呼び込める」ということは事実だ"が導かれる
4. 推論2と事実11から、推論3: "この稽古は標準原価でないけど呼び込める"が導かれる
5. 推論3から、推論4: "この稽古は呼び込める"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの各種大会は見苦しくないか私達一人一人だ」ということは成り立つ"が導かれる
8. 推論6と事実5から、仮説が否定される

よって、仮説が否定されました。