「その牧畜はブラッシュアップでなくてかつ個人株主でない」ということは誤りだ
fact1: 「この環境基準は易しくない」ということは確かであるとするとそのモーラ基準は易しい fact2: 「この環境基準は討ち死にするしかつそれは新世紀だ」ということは嘘である fact3: もしもこの環境基準が討ち死にするとすればあの推進段階は易しい fact4: もしもこの推進段階が個人株主だということはないならばその牧畜はブラッシュアップであるということはないしそれに個人株主だということはない fact5: その牧畜はブラッシュアップでない fact6: もしも「この環境基準は討ち死にしないけれど新世紀である」ということは誤っているとしたらこの推進段階は易しい fact7: 易しいものは個人株主でない fact8: 「この環境基準は討ち死にしないけどそれは新世紀だ」ということは事実と異なる fact9: もし仮にこの推進段階が易しくない一方でブラッシュアップであるとするとこの環境基準は易しくない fact10: 仮にこの推進段階は個人株主でないとしたら「その牧畜はブラッシュアップでない」ということは真実である
fact6 & fact8 -> int1: この推進段階は易しい; fact7 -> int2: 仮にこの推進段階は易しいなら「それは個人株主であるということはない」ということは成り立つ; int1 & int2 -> int3: この推進段階は個人株主でない; int3 & fact4 -> hypothesis;
fact6 & fact8 -> int1: {B}{b}; fact7 -> int2: {B}{b} -> ¬{A}{b}; int1 & int2 -> int3: ¬{A}{b}; int3 & fact4 -> hypothesis;
そのモーラ基準は機能追加でないし個人株主であるということはない
$facts$ = fact1: 「この環境基準は易しくない」ということは確かであるとするとそのモーラ基準は易しい fact2: 「この環境基準は討ち死にするしかつそれは新世紀だ」ということは嘘である fact3: もしもこの環境基準が討ち死にするとすればあの推進段階は易しい fact4: もしもこの推進段階が個人株主だということはないならばその牧畜はブラッシュアップであるということはないしそれに個人株主だということはない fact5: その牧畜はブラッシュアップでない fact6: もしも「この環境基準は討ち死にしないけれど新世紀である」ということは誤っているとしたらこの推進段階は易しい fact7: 易しいものは個人株主でない fact8: 「この環境基準は討ち死にしないけどそれは新世紀だ」ということは事実と異なる fact9: もし仮にこの推進段階が易しくない一方でブラッシュアップであるとするとこの環境基準は易しくない fact10: 仮にこの推進段階は個人株主でないとしたら「その牧畜はブラッシュアップでない」ということは真実である ; $hypothesis$ = 「その牧畜はブラッシュアップでなくてかつ個人株主でない」ということは誤りだ ; $proof$ = 
fact6 & fact8 -> int1: この推進段階は易しい; fact7 -> int2: 仮にこの推進段階は易しいなら「それは個人株主であるということはない」ということは成り立つ; int1 & int2 -> int3: この推進段階は個人株主でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「この環境基準は易しくない」ということは確かであるとするとそのモーラ基準は易しい
事実2: 「この環境基準は討ち死にするしかつそれは新世紀だ」ということは嘘である
事実3: もしもこの環境基準が討ち死にするとすればあの推進段階は易しい
事実4: もしもこの推進段階が個人株主だということはないならばその牧畜はブラッシュアップであるということはないしそれに個人株主だということはない
事実5: その牧畜はブラッシュアップでない
事実6: もしも「この環境基準は討ち死にしないけれど新世紀である」ということは誤っているとしたらこの推進段階は易しい
事実7: 易しいものは個人株主でない
事実8: 「この環境基準は討ち死にしないけどそれは新世紀だ」ということは事実と異なる
事実9: もし仮にこの推進段階が易しくない一方でブラッシュアップであるとするとこの環境基準は易しくない
事実10: 仮にこの推進段階は個人株主でないとしたら「その牧畜はブラッシュアップでない」ということは真実である

仮説: 「その牧畜はブラッシュアップでなくてかつ個人株主でない」ということは誤りだ
1. 事実6と事実8から、推論1: "この推進段階は易しい"が導かれる
2. 事実7から、推論2: "仮にこの推進段階は易しいなら「それは個人株主であるということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この推進段階は個人株主でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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