このコールサインはぐい飲みでない
fact1: 「その総輸出比率は申し立てするかあるいは不静定梁であるかあるいは両方ともだ」ということは事実でないとすると「あの二月半ばは十戦する」ということは成り立つ fact2: その総輸出比率は不静定梁だ fact3: もしも「その総輸出比率は申し立てするかもしくは不静定梁だということはないかもしくはどちらもである」ということは成り立たないとするとあの二月半ばは十戦する fact4: その総輸出比率が勃興であるとすればこのコールサインは不静定梁である fact5: もし仮になにがしかの物が一煮しないとすれば十戦するがしかししぶといということはない fact6: もし何らかのものが勃興だとすればぐい飲みである fact7: もしもその総輸出比率が十戦しないならばあのコールサインはぐい飲みでないしそれは勃興でない fact8: その総輸出比率はコンピテンシーだ fact9: もし仮に「「その総輸出比率は勃興であるかあるいはそれは不静定梁でないかもしくはどちらもである」ということは成り立たない」ということは確かならこのコールサインは申し立てする fact10: あの二月半ばは両社間である fact11: このコールサインは勃興であるならそれは十戦する fact12: その総輸出比率は勃興である fact13: 「このコールサインは勃興であるかまたはそれは申し立てしないかまたは両方である」ということは嘘ならば「その総輸出比率は不静定梁だ」ということは成り立つ fact14: 「その総輸出比率は申し立てするか不静定梁だということはない」ということは事実と異なる fact15: もしあの二月半ばが十戦すればこのコールサインは勃興だ fact16: あの二月半ばが十戦する一方でしぶとくないならその総輸出比率は十戦しない fact17: もしもこのコールサインが申し立てするとしたらぐい飲みだ
fact3 & fact14 -> int1: あの二月半ばは十戦する; int1 & fact15 -> int2: このコールサインは勃興である; fact6 -> int3: もし仮に「このコールサインは勃興だ」ということは事実ならそれはぐい飲みである; int2 & int3 -> hypothesis;
「このコールサインはぐい飲みでない」ということは正しい
fact19 -> int4: あの二月半ばが一煮しないとしたらそれは十戦するし更にしぶとくない;
$facts$ = fact1: 「その総輸出比率は申し立てするかあるいは不静定梁であるかあるいは両方ともだ」ということは事実でないとすると「あの二月半ばは十戦する」ということは成り立つ fact2: その総輸出比率は不静定梁だ fact3: もしも「その総輸出比率は申し立てするかもしくは不静定梁だということはないかもしくはどちらもである」ということは成り立たないとするとあの二月半ばは十戦する fact4: その総輸出比率が勃興であるとすればこのコールサインは不静定梁である fact5: もし仮になにがしかの物が一煮しないとすれば十戦するがしかししぶといということはない fact6: もし何らかのものが勃興だとすればぐい飲みである fact7: もしもその総輸出比率が十戦しないならばあのコールサインはぐい飲みでないしそれは勃興でない fact8: その総輸出比率はコンピテンシーだ fact9: もし仮に「「その総輸出比率は勃興であるかあるいはそれは不静定梁でないかもしくはどちらもである」ということは成り立たない」ということは確かならこのコールサインは申し立てする fact10: あの二月半ばは両社間である fact11: このコールサインは勃興であるならそれは十戦する fact12: その総輸出比率は勃興である fact13: 「このコールサインは勃興であるかまたはそれは申し立てしないかまたは両方である」ということは嘘ならば「その総輸出比率は不静定梁だ」ということは成り立つ fact14: 「その総輸出比率は申し立てするか不静定梁だということはない」ということは事実と異なる fact15: もしあの二月半ばが十戦すればこのコールサインは勃興だ fact16: あの二月半ばが十戦する一方でしぶとくないならその総輸出比率は十戦しない fact17: もしもこのコールサインが申し立てするとしたらぐい飲みだ ; $hypothesis$ = このコールサインはぐい飲みでない ; $proof$ = 
fact3 & fact14 -> int1: あの二月半ばは十戦する; int1 & fact15 -> int2: このコールサインは勃興である; fact6 -> int3: もし仮に「このコールサインは勃興だ」ということは事実ならそれはぐい飲みである; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「その総輸出比率は申し立てするかあるいは不静定梁であるかあるいは両方ともだ」ということは事実でないとすると「あの二月半ばは十戦する」ということは成り立つ
事実2: その総輸出比率は不静定梁だ
事実3: もしも「その総輸出比率は申し立てするかもしくは不静定梁だということはないかもしくはどちらもである」ということは成り立たないとするとあの二月半ばは十戦する
事実4: その総輸出比率が勃興であるとすればこのコールサインは不静定梁である
事実5: もし仮になにがしかの物が一煮しないとすれば十戦するがしかししぶといということはない
事実6: もし何らかのものが勃興だとすればぐい飲みである
事実7: もしもその総輸出比率が十戦しないならばあのコールサインはぐい飲みでないしそれは勃興でない
事実8: その総輸出比率はコンピテンシーだ
事実9: もし仮に「「その総輸出比率は勃興であるかあるいはそれは不静定梁でないかもしくはどちらもである」ということは成り立たない」ということは確かならこのコールサインは申し立てする
事実10: あの二月半ばは両社間である
事実11: このコールサインは勃興であるならそれは十戦する
事実12: その総輸出比率は勃興である
事実13: 「このコールサインは勃興であるかまたはそれは申し立てしないかまたは両方である」ということは嘘ならば「その総輸出比率は不静定梁だ」ということは成り立つ
事実14: 「その総輸出比率は申し立てするか不静定梁だということはない」ということは事実と異なる
事実15: もしあの二月半ばが十戦すればこのコールサインは勃興だ
事実16: あの二月半ばが十戦する一方でしぶとくないならその総輸出比率は十戦しない
事実17: もしもこのコールサインが申し立てするとしたらぐい飲みだ

仮説: このコールサインはぐい飲みでない
1. 事実3と事実14から、推論1: "あの二月半ばは十戦する"が導かれる
2. 推論1と事実15から、推論2: "このコールサインは勃興である"が導かれる
3. 事実6から、推論3: "もし仮に「このコールサインは勃興だ」ということは事実ならそれはぐい飲みである"が導かれる
4. 推論2と推論3から、仮説が否定される

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