その道徳的規範は布達する
fact1: あの和約はラウンドする fact2: なにがしかの物は当該区域であるかあるいは説明変数であるかまたは両方ならば「布達するということはない」ということは本当である fact3: もしもこの総生産額が定型化しないならその道徳的規範は当該区域だ fact4: もしも「この総生産額はラウンドする」ということは真実であるならそれは設立費用でない fact5: この総生産額は布達しない fact6: もしも「この総生産額はラウンドする」ということは事実であるならばそれは設立費用でないしまた真っ黒いということはない fact7: 仮になんらかの物が設立費用でなくておまけに真っ黒くないとしたら定型化しない fact8: この総生産額はラウンドする fact9: もし仮に何らかのものが当該区域でないがしかしそれが定型化するとすればそれはラウンドする
fact6 & fact8 -> int1: この総生産額は設立費用でないししかもそれは真っ黒くない; fact7 -> int2: もしこの総生産額が設立費用でなくてかつ真っ黒いということはないならそれは定型化しない; int1 & int2 -> int3: 「この総生産額は定型化しない」ということは事実だ; int3 & fact3 -> int4: その道徳的規範は当該区域である; int4 -> int5: その道徳的規範は当該区域であるかあるいはそれは説明変数であるかどちらもである; fact2 -> int6: もしその道徳的規範は当該区域であるか説明変数であるかあるいは両方ならば布達しない; int5 & int6 -> hypothesis;
「あの報酬体系はラウンドする」ということは成り立つ
fact10 -> int7: あの報酬体系は当該区域だということはないが定型化するならラウンドする;
$facts$ = fact1: あの和約はラウンドする fact2: なにがしかの物は当該区域であるかあるいは説明変数であるかまたは両方ならば「布達するということはない」ということは本当である fact3: もしもこの総生産額が定型化しないならその道徳的規範は当該区域だ fact4: もしも「この総生産額はラウンドする」ということは真実であるならそれは設立費用でない fact5: この総生産額は布達しない fact6: もしも「この総生産額はラウンドする」ということは事実であるならばそれは設立費用でないしまた真っ黒いということはない fact7: 仮になんらかの物が設立費用でなくておまけに真っ黒くないとしたら定型化しない fact8: この総生産額はラウンドする fact9: もし仮に何らかのものが当該区域でないがしかしそれが定型化するとすればそれはラウンドする ; $hypothesis$ = その道徳的規範は布達する ; $proof$ = 
fact6 & fact8 -> int1: この総生産額は設立費用でないししかもそれは真っ黒くない; fact7 -> int2: もしこの総生産額が設立費用でなくてかつ真っ黒いということはないならそれは定型化しない; int1 & int2 -> int3: 「この総生産額は定型化しない」ということは事実だ; int3 & fact3 -> int4: その道徳的規範は当該区域である; int4 -> int5: その道徳的規範は当該区域であるかあるいはそれは説明変数であるかどちらもである; fact2 -> int6: もしその道徳的規範は当該区域であるか説明変数であるかあるいは両方ならば布達しない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あの和約はラウンドする
事実2: なにがしかの物は当該区域であるかあるいは説明変数であるかまたは両方ならば「布達するということはない」ということは本当である
事実3: もしもこの総生産額が定型化しないならその道徳的規範は当該区域だ
事実4: もしも「この総生産額はラウンドする」ということは真実であるならそれは設立費用でない
事実5: この総生産額は布達しない
事実6: もしも「この総生産額はラウンドする」ということは事実であるならばそれは設立費用でないしまた真っ黒いということはない
事実7: 仮になんらかの物が設立費用でなくておまけに真っ黒くないとしたら定型化しない
事実8: この総生産額はラウンドする
事実9: もし仮に何らかのものが当該区域でないがしかしそれが定型化するとすればそれはラウンドする

仮説: その道徳的規範は布達する
1. 事実6と事実8から、推論1: "この総生産額は設立費用でないししかもそれは真っ黒くない"が導かれる
2. 事実7から、推論2: "もしこの総生産額が設立費用でなくてかつ真っ黒いということはないならそれは定型化しない"が導かれる
3. 推論1と推論2から、推論3: "「この総生産額は定型化しない」ということは事実だ"が導かれる
4. 推論3と事実3から、推論4: "その道徳的規範は当該区域である"が導かれる
5. 推論4から、推論5: "その道徳的規範は当該区域であるかあるいはそれは説明変数であるかどちらもである"が導かれる
6. 事実2から、推論6: "もしその道徳的規範は当該区域であるか説明変数であるかあるいは両方ならば布達しない"が導かれる
7. 推論5と推論6から、仮説が否定される

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