あの史学は受け難くない
fact1: 「この飲み屋は豹変しないけどそれは水張りテープである」ということは真実でない fact2: 「この飲み屋は水張りテープで加えて整理案である」ということは成り立たない fact3: あの史学は同事業である fact4: 「この飲み屋は仰々しい一方でそれは対処方法でない」ということは間違いだ fact5: もしこの飲み屋が戻り易いならそれは豹変する fact6: 何らかのものは豹変するとしたら「それは同事業だということはないし加えて攻め始める」ということは嘘だ fact7: あの塩化バリウムは水張りテープである fact8: もしもあの史学が受け難いとするとそれは戻り易い fact9: もしも「この飲み屋は仰々しい一方で対処方法でない」ということは成り立たないとしたらそれは戻り易い fact10: もしなにがしかの物が豹変するとするとそれは戻り易い fact11: 仮に「この飲み屋は水張りテープでないけど整理案である」ということは成り立つということはないならその明るさは攻め始める fact12: その明るさが豹変するとしたらあの塩化バリウムは同事業だ fact13: もしあの塩化バリウムが戻り易いとするとあの史学は受け難い fact14: あの塩化バリウムは整理案である fact15: あの塩化バリウムは攻め始める fact16: 「この飲み屋は水張りテープでないがそれは整理案だ」ということは事実と異なる fact17: もしもなんらかの物が攻め始めるならそれは同事業だ fact18: もしもその明るさが戻り易いとすれば同事業だ fact19: 「この飲み屋は同事業だ」ということは真実である fact20: あの史学は水張りテープだ fact21: もしもその明るさは同事業であるとしたら「あの塩化バリウムは豹変する」ということは真実だ
fact11 & fact16 -> int1: その明るさは攻め始める; fact17 -> int2: もしもその明るさが攻め始めるとしたらそれは同事業である; int1 & int2 -> int3: 「その明るさは同事業だ」ということは成り立つ; int3 & fact21 -> int4: あの塩化バリウムは豹変する; fact10 -> int5: もし仮にあの塩化バリウムが豹変するならそれは戻り易い; int4 & int5 -> int6: あの塩化バリウムは戻り易い; int6 & fact13 -> hypothesis;
あの史学は受け難くない
fact25 -> int7: この飲み屋は豹変するなら「同事業でないしそれは攻め始める」ということは成り立たない; fact24 & fact23 -> int8: この飲み屋は戻り易い; fact22 & int8 -> int9: この飲み屋は豹変する; int7 & int9 -> int10: 「この飲み屋は同事業だということはない一方で攻め始める」ということは間違っている;
$facts$ = fact1: 「この飲み屋は豹変しないけどそれは水張りテープである」ということは真実でない fact2: 「この飲み屋は水張りテープで加えて整理案である」ということは成り立たない fact3: あの史学は同事業である fact4: 「この飲み屋は仰々しい一方でそれは対処方法でない」ということは間違いだ fact5: もしこの飲み屋が戻り易いならそれは豹変する fact6: 何らかのものは豹変するとしたら「それは同事業だということはないし加えて攻め始める」ということは嘘だ fact7: あの塩化バリウムは水張りテープである fact8: もしもあの史学が受け難いとするとそれは戻り易い fact9: もしも「この飲み屋は仰々しい一方で対処方法でない」ということは成り立たないとしたらそれは戻り易い fact10: もしなにがしかの物が豹変するとするとそれは戻り易い fact11: 仮に「この飲み屋は水張りテープでないけど整理案である」ということは成り立つということはないならその明るさは攻め始める fact12: その明るさが豹変するとしたらあの塩化バリウムは同事業だ fact13: もしあの塩化バリウムが戻り易いとするとあの史学は受け難い fact14: あの塩化バリウムは整理案である fact15: あの塩化バリウムは攻め始める fact16: 「この飲み屋は水張りテープでないがそれは整理案だ」ということは事実と異なる fact17: もしもなんらかの物が攻め始めるならそれは同事業だ fact18: もしもその明るさが戻り易いとすれば同事業だ fact19: 「この飲み屋は同事業だ」ということは真実である fact20: あの史学は水張りテープだ fact21: もしもその明るさは同事業であるとしたら「あの塩化バリウムは豹変する」ということは真実だ ; $hypothesis$ = あの史学は受け難くない ; $proof$ = 
fact11 & fact16 -> int1: その明るさは攻め始める; fact17 -> int2: もしもその明るさが攻め始めるとしたらそれは同事業である; int1 & int2 -> int3: 「その明るさは同事業だ」ということは成り立つ; int3 & fact21 -> int4: あの塩化バリウムは豹変する; fact10 -> int5: もし仮にあの塩化バリウムが豹変するならそれは戻り易い; int4 & int5 -> int6: あの塩化バリウムは戻り易い; int6 & fact13 -> hypothesis; __DISPROVED__
事実1: 「この飲み屋は豹変しないけどそれは水張りテープである」ということは真実でない
事実2: 「この飲み屋は水張りテープで加えて整理案である」ということは成り立たない
事実3: あの史学は同事業である
事実4: 「この飲み屋は仰々しい一方でそれは対処方法でない」ということは間違いだ
事実5: もしこの飲み屋が戻り易いならそれは豹変する
事実6: 何らかのものは豹変するとしたら「それは同事業だということはないし加えて攻め始める」ということは嘘だ
事実7: あの塩化バリウムは水張りテープである
事実8: もしもあの史学が受け難いとするとそれは戻り易い
事実9: もしも「この飲み屋は仰々しい一方で対処方法でない」ということは成り立たないとしたらそれは戻り易い
事実10: もしなにがしかの物が豹変するとするとそれは戻り易い
事実11: 仮に「この飲み屋は水張りテープでないけど整理案である」ということは成り立つということはないならその明るさは攻め始める
事実12: その明るさが豹変するとしたらあの塩化バリウムは同事業だ
事実13: もしあの塩化バリウムが戻り易いとするとあの史学は受け難い
事実14: あの塩化バリウムは整理案である
事実15: あの塩化バリウムは攻め始める
事実16: 「この飲み屋は水張りテープでないがそれは整理案だ」ということは事実と異なる
事実17: もしもなんらかの物が攻め始めるならそれは同事業だ
事実18: もしもその明るさが戻り易いとすれば同事業だ
事実19: 「この飲み屋は同事業だ」ということは真実である
事実20: あの史学は水張りテープだ
事実21: もしもその明るさは同事業であるとしたら「あの塩化バリウムは豹変する」ということは真実だ

仮説: あの史学は受け難くない
1. 事実11と事実16から、推論1: "その明るさは攻め始める"が導かれる
2. 事実17から、推論2: "もしもその明るさが攻め始めるとしたらそれは同事業である"が導かれる
3. 推論1と推論2から、推論3: "「その明るさは同事業だ」ということは成り立つ"が導かれる
4. 推論3と事実21から、推論4: "あの塩化バリウムは豹変する"が導かれる
5. 事実10から、推論5: "もし仮にあの塩化バリウムが豹変するならそれは戻り易い"が導かれる
6. 推論4と推論5から、推論6: "あの塩化バリウムは戻り易い"が導かれる
7. 推論6と事実13から、仮説が否定される

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