その取り引き慣行はこっ酷い
fact1: もしその中傷がアメリカ在住だということはないかまたはそれは狭いかまたは両方ともであるとしたら「それは天皇誕生日である」ということは成り立つ fact2: もしこのビッグバンドは調査季報だとすると「その共益費は身動きする」ということは確かである fact3: なんらかのものは調査季報であるということはないならそれは身動きしないし更にアメリカ在住でない fact4: 「その取り引き慣行はカントリー・ミュージックでないが天皇誕生日である」ということは事実と異なる fact5: その共益費は調査季報である fact6: その中傷はアメリカ在住であるかもしくは狭いかあるいは両方だ fact7: このビッグバンドは弱々しい fact8: もしもその共益費が調査季報であるならばこのビッグバンドは身動きする fact9: もしこのビッグバンドが身動きするし弱々しいとしたらその中傷はアメリカ在住でない fact10: もし仮にその中傷が天皇誕生日ならその取り引き慣行はこっ酷い fact11: もしその共益費が身動きしなくてその上アメリカ在住であるということはないならあの明治末期はアメリカ在住でない
fact8 & fact5 -> int1: このビッグバンドは身動きする; int1 & fact7 -> int2: このビッグバンドは身動きするし弱々しい; int2 & fact9 -> int3: その中傷はアメリカ在住でない; int3 -> int4: 「その中傷はアメリカ在住でないか狭いかもしくはどちらもだ」ということは本当だ; int4 & fact1 -> int5: その中傷は天皇誕生日である; int5 & fact10 -> hypothesis;
あの明治末期はアメリカ在住でない
fact14 -> int6: その共益費は調査季報でないとするとそれは身動きするということはなくてしかもアメリカ在住だということはない; fact12 -> int7: 「「カントリー・ミュージックでないししかも天皇誕生日だ」ということは成り立たない」物はある;
$facts$ = fact1: もしその中傷がアメリカ在住だということはないかまたはそれは狭いかまたは両方ともであるとしたら「それは天皇誕生日である」ということは成り立つ fact2: もしこのビッグバンドは調査季報だとすると「その共益費は身動きする」ということは確かである fact3: なんらかのものは調査季報であるということはないならそれは身動きしないし更にアメリカ在住でない fact4: 「その取り引き慣行はカントリー・ミュージックでないが天皇誕生日である」ということは事実と異なる fact5: その共益費は調査季報である fact6: その中傷はアメリカ在住であるかもしくは狭いかあるいは両方だ fact7: このビッグバンドは弱々しい fact8: もしもその共益費が調査季報であるならばこのビッグバンドは身動きする fact9: もしこのビッグバンドが身動きするし弱々しいとしたらその中傷はアメリカ在住でない fact10: もし仮にその中傷が天皇誕生日ならその取り引き慣行はこっ酷い fact11: もしその共益費が身動きしなくてその上アメリカ在住であるということはないならあの明治末期はアメリカ在住でない ; $hypothesis$ = その取り引き慣行はこっ酷い ; $proof$ = 
fact8 & fact5 -> int1: このビッグバンドは身動きする; int1 & fact7 -> int2: このビッグバンドは身動きするし弱々しい; int2 & fact9 -> int3: その中傷はアメリカ在住でない; int3 -> int4: 「その中傷はアメリカ在住でないか狭いかもしくはどちらもだ」ということは本当だ; int4 & fact1 -> int5: その中傷は天皇誕生日である; int5 & fact10 -> hypothesis; __PROVED__
事実1: もしその中傷がアメリカ在住だということはないかまたはそれは狭いかまたは両方ともであるとしたら「それは天皇誕生日である」ということは成り立つ
事実2: もしこのビッグバンドは調査季報だとすると「その共益費は身動きする」ということは確かである
事実3: なんらかのものは調査季報であるということはないならそれは身動きしないし更にアメリカ在住でない
事実4: 「その取り引き慣行はカントリー・ミュージックでないが天皇誕生日である」ということは事実と異なる
事実5: その共益費は調査季報である
事実6: その中傷はアメリカ在住であるかもしくは狭いかあるいは両方だ
事実7: このビッグバンドは弱々しい
事実8: もしもその共益費が調査季報であるならばこのビッグバンドは身動きする
事実9: もしこのビッグバンドが身動きするし弱々しいとしたらその中傷はアメリカ在住でない
事実10: もし仮にその中傷が天皇誕生日ならその取り引き慣行はこっ酷い
事実11: もしその共益費が身動きしなくてその上アメリカ在住であるということはないならあの明治末期はアメリカ在住でない

仮説: その取り引き慣行はこっ酷い
1. 事実8と事実5から、推論1: "このビッグバンドは身動きする"が導かれる
2. 推論1と事実7から、推論2: "このビッグバンドは身動きするし弱々しい"が導かれる
3. 推論2と事実9から、推論3: "その中傷はアメリカ在住でない"が導かれる
4. 推論3から、推論4: "「その中傷はアメリカ在住でないか狭いかもしくはどちらもだ」ということは本当だ"が導かれる
5. 推論4と事実1から、推論5: "その中傷は天皇誕生日である"が導かれる
6. 推論5と事実10から、仮説が導かれる

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