あの団結権ははまなすだ
fact1: もしあの散り際は縁遠くないとすると「あの十七Ｂは図書館情報学であるかまたはそれは遅参であるかもしくはどちらもだ」ということは偽だ fact2: この何分は遅参でない fact3: もしもあの景気回復期が意義付けるならあの十七Ｂは遣り易い fact4: もしあるものがひもじくないならそれは縁遠い fact5: あの十七Ｂは実質金利でない fact6: もしもなんらかの物は縁遠いとすれば「はまなすだ」ということは本当である fact7: もし仮にとある物は遣り易いとしたら「それはひもじいけど実質金利でない」ということは偽だ fact8: 「あの十七Ｂは図書館情報学であるか遅参であるかあるいはどちらもだ」ということは成り立たないとすれば「あの団結権ははまなすでない」ということは事実と異ならない fact9: 仮に「あの散り際はひもじいがしかしそれは実質金利でない」ということは成り立たないとしたらあの団結権はひもじくない fact10: あの散り際は縁遠くない fact11: あの散り際はひもじいとすれば「それははまなすでなくて縁遠いということはない」ということは誤っている fact12: もし仮に「何らかの物は遣り易いということはないがしかし実質金利である」ということは間違いであるとするとひもじい fact13: 仮にあの散り際が縁遠くないとするとあの十七Ｂは遅参でない fact14: 「あのフーリエ変換は遅参でない」ということは成り立つ fact15: あの十七Ｂは遅参でない fact16: 「もし仮に「「ひもじいししかもはまなすである」ということは成り立たない」物があるとしたらあの血管造影ははまなすでない」ということは真実である
fact1 & fact10 -> int1: 「あの十七Ｂは図書館情報学であるか遅参であるか両方だ」ということは嘘だ; int1 & fact8 -> hypothesis;
fact1 & fact10 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact8 -> hypothesis;
あの団結権ははまなすだ
fact19 -> int2: もしあの団結権が縁遠いとすればそれははまなすである; fact17 -> int3: あの団結権がひもじいということはないとするとそれは縁遠い; fact18 -> int4: あの散り際は遣り易いならば「ひもじいがしかし実質金利だということはない」ということは間違いである;
$facts$ = fact1: もしあの散り際は縁遠くないとすると「あの十七Ｂは図書館情報学であるかまたはそれは遅参であるかもしくはどちらもだ」ということは偽だ fact2: この何分は遅参でない fact3: もしもあの景気回復期が意義付けるならあの十七Ｂは遣り易い fact4: もしあるものがひもじくないならそれは縁遠い fact5: あの十七Ｂは実質金利でない fact6: もしもなんらかの物は縁遠いとすれば「はまなすだ」ということは本当である fact7: もし仮にとある物は遣り易いとしたら「それはひもじいけど実質金利でない」ということは偽だ fact8: 「あの十七Ｂは図書館情報学であるか遅参であるかあるいはどちらもだ」ということは成り立たないとすれば「あの団結権ははまなすでない」ということは事実と異ならない fact9: 仮に「あの散り際はひもじいがしかしそれは実質金利でない」ということは成り立たないとしたらあの団結権はひもじくない fact10: あの散り際は縁遠くない fact11: あの散り際はひもじいとすれば「それははまなすでなくて縁遠いということはない」ということは誤っている fact12: もし仮に「何らかの物は遣り易いということはないがしかし実質金利である」ということは間違いであるとするとひもじい fact13: 仮にあの散り際が縁遠くないとするとあの十七Ｂは遅参でない fact14: 「あのフーリエ変換は遅参でない」ということは成り立つ fact15: あの十七Ｂは遅参でない fact16: 「もし仮に「「ひもじいししかもはまなすである」ということは成り立たない」物があるとしたらあの血管造影ははまなすでない」ということは真実である ; $hypothesis$ = あの団結権ははまなすだ ; $proof$ = 
fact1 & fact10 -> int1: 「あの十七Ｂは図書館情報学であるか遅参であるか両方だ」ということは嘘だ; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしあの散り際は縁遠くないとすると「あの十七Ｂは図書館情報学であるかまたはそれは遅参であるかもしくはどちらもだ」ということは偽だ
事実2: この何分は遅参でない
事実3: もしもあの景気回復期が意義付けるならあの十七Ｂは遣り易い
事実4: もしあるものがひもじくないならそれは縁遠い
事実5: あの十七Ｂは実質金利でない
事実6: もしもなんらかの物は縁遠いとすれば「はまなすだ」ということは本当である
事実7: もし仮にとある物は遣り易いとしたら「それはひもじいけど実質金利でない」ということは偽だ
事実8: 「あの十七Ｂは図書館情報学であるか遅参であるかあるいはどちらもだ」ということは成り立たないとすれば「あの団結権ははまなすでない」ということは事実と異ならない
事実9: 仮に「あの散り際はひもじいがしかしそれは実質金利でない」ということは成り立たないとしたらあの団結権はひもじくない
事実10: あの散り際は縁遠くない
事実11: あの散り際はひもじいとすれば「それははまなすでなくて縁遠いということはない」ということは誤っている
事実12: もし仮に「何らかの物は遣り易いということはないがしかし実質金利である」ということは間違いであるとするとひもじい
事実13: 仮にあの散り際が縁遠くないとするとあの十七Ｂは遅参でない
事実14: 「あのフーリエ変換は遅参でない」ということは成り立つ
事実15: あの十七Ｂは遅参でない
事実16: 「もし仮に「「ひもじいししかもはまなすである」ということは成り立たない」物があるとしたらあの血管造影ははまなすでない」ということは真実である

仮説: あの団結権ははまなすだ
1. 事実1と事実10から、推論1: "「あの十七Ｂは図書館情報学であるか遅参であるか両方だ」ということは嘘だ"が導かれる
2. 推論1と事実8から、仮説が否定される

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