「「「組織メンバーであるとすれば「「駆け寄らないかもしくは青くないかまたは両方ともだ」ということは真実だ」ということは成り立たない」物はある」ということは本当だ」ということは成り立たない
fact1: 「もしも「組織メンバーだ」ということは本当だとすれば青い」ものはある fact2: 「組織メンバーであるなら駆け寄らないかまたは青くない」ものはある fact3: 組織メンバーは駆け寄るということはないかもしくは青くないかまたは両方ともだ fact4: 仮にあの藪は組織メンバーだとしたら「それは駆け寄るかあるいは青いということはないかもしくは両方だ」ということは誤りだ fact5: もしなんらかの物は組織メンバーであるなら青い fact6: 「もしも組織メンバーだとしたら「「駆け寄るかもしくは青くない」ということは真実だ」ということは誤っている」ものはある fact7: もし仮にとあるものは組織メンバーであるとすれば「駆け寄るかまたはそれは青くないかもしくは両方ともである」ということは偽である fact8: なにかは組織メンバーなら「駆け寄らないかあるいはそれは青くない」ということは事実と異なる
fact8 -> int1: あの藪は組織メンバーだとすると「駆け寄るということはないかもしくは青いということはないか両方ともである」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「もしも「組織メンバーだ」ということは本当だとすれば青い」ものはある fact2: 「組織メンバーであるなら駆け寄らないかまたは青くない」ものはある fact3: 組織メンバーは駆け寄るということはないかもしくは青くないかまたは両方ともだ fact4: 仮にあの藪は組織メンバーだとしたら「それは駆け寄るかあるいは青いということはないかもしくは両方だ」ということは誤りだ fact5: もしなんらかの物は組織メンバーであるなら青い fact6: 「もしも組織メンバーだとしたら「「駆け寄るかもしくは青くない」ということは真実だ」ということは誤っている」ものはある fact7: もし仮にとあるものは組織メンバーであるとすれば「駆け寄るかまたはそれは青くないかもしくは両方ともである」ということは偽である fact8: なにかは組織メンバーなら「駆け寄らないかあるいはそれは青くない」ということは事実と異なる ; $hypothesis$ = 「「「組織メンバーであるとすれば「「駆け寄らないかもしくは青くないかまたは両方ともだ」ということは真実だ」ということは成り立たない」物はある」ということは本当だ」ということは成り立たない ; $proof$ = 
fact8 -> int1: あの藪は組織メンバーだとすると「駆け寄るということはないかもしくは青いということはないか両方ともである」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「組織メンバーだ」ということは本当だとすれば青い」ものはある
事実2: 「組織メンバーであるなら駆け寄らないかまたは青くない」ものはある
事実3: 組織メンバーは駆け寄るということはないかもしくは青くないかまたは両方ともだ
事実4: 仮にあの藪は組織メンバーだとしたら「それは駆け寄るかあるいは青いということはないかもしくは両方だ」ということは誤りだ
事実5: もしなんらかの物は組織メンバーであるなら青い
事実6: 「もしも組織メンバーだとしたら「「駆け寄るかもしくは青くない」ということは真実だ」ということは誤っている」ものはある
事実7: もし仮にとあるものは組織メンバーであるとすれば「駆け寄るかまたはそれは青くないかもしくは両方ともである」ということは偽である
事実8: なにかは組織メンバーなら「駆け寄らないかあるいはそれは青くない」ということは事実と異なる

仮説: 「「「組織メンバーであるとすれば「「駆け寄らないかもしくは青くないかまたは両方ともだ」ということは真実だ」ということは成り立たない」物はある」ということは本当だ」ということは成り立たない
1. 事実8から、推論1: "あの藪は組織メンバーだとすると「駆け寄るということはないかもしくは青いということはないか両方ともである」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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