「「その膝は闇屋でかつ痛ーい」ということは真実だ」ということは成り立たない
fact1: 「生じ得ない」ものはある fact2: もし仮にそのザーメンはアテローム動脈硬化であるとしたらそれはＣＧＩ‐ＢＩＮディレクトリでない fact3: もしあるものは表中でないとすれば「それは闇屋だし加えて痛ーい」ということは本当だ fact4: 「なんらかの物は素晴らしないしそれにそれはアテローム動脈硬化だということはない」ということは誤っているなら表中でない fact5: その膝は御しない fact6: 「恥ずかしいということはない物は覚え易いし欠場する」ということは本当だ fact7: なにがしかの物は生じ得ないとすれば「その膝は素晴らしないししかもアテローム動脈硬化であるということはない」ということは嘘である fact8: その膝は大きいしその上物珍しい fact9: 仮にその膝が徹底出来ないとすれば燗付けで指導手順である
fact1 & fact7 -> int1: 「その膝は素晴らしないししかもそれはアテローム動脈硬化でない」ということは事実でない; fact4 -> int2: もしも「「その膝は素晴らしないしアテローム動脈硬化でない」ということは成り立つ」ということは事実と異なれば表中でない; int1 & int2 -> int3: その膝は表中だということはない; fact3 -> int4: もしその膝が表中だということはないなら闇屋であるしまた痛ーい; int3 & int4 -> hypothesis;
$facts$ = fact1: 「生じ得ない」ものはある fact2: もし仮にそのザーメンはアテローム動脈硬化であるとしたらそれはＣＧＩ‐ＢＩＮディレクトリでない fact3: もしあるものは表中でないとすれば「それは闇屋だし加えて痛ーい」ということは本当だ fact4: 「なんらかの物は素晴らしないしそれにそれはアテローム動脈硬化だということはない」ということは誤っているなら表中でない fact5: その膝は御しない fact6: 「恥ずかしいということはない物は覚え易いし欠場する」ということは本当だ fact7: なにがしかの物は生じ得ないとすれば「その膝は素晴らしないししかもアテローム動脈硬化であるということはない」ということは嘘である fact8: その膝は大きいしその上物珍しい fact9: 仮にその膝が徹底出来ないとすれば燗付けで指導手順である ; $hypothesis$ = 「「その膝は闇屋でかつ痛ーい」ということは真実だ」ということは成り立たない ; $proof$ = 
fact1 & fact7 -> int1: 「その膝は素晴らしないししかもそれはアテローム動脈硬化でない」ということは事実でない; fact4 -> int2: もしも「「その膝は素晴らしないしアテローム動脈硬化でない」ということは成り立つ」ということは事実と異なれば表中でない; int1 & int2 -> int3: その膝は表中だということはない; fact3 -> int4: もしその膝が表中だということはないなら闇屋であるしまた痛ーい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「生じ得ない」ものはある
事実2: もし仮にそのザーメンはアテローム動脈硬化であるとしたらそれはＣＧＩ‐ＢＩＮディレクトリでない
事実3: もしあるものは表中でないとすれば「それは闇屋だし加えて痛ーい」ということは本当だ
事実4: 「なんらかの物は素晴らしないしそれにそれはアテローム動脈硬化だということはない」ということは誤っているなら表中でない
事実5: その膝は御しない
事実6: 「恥ずかしいということはない物は覚え易いし欠場する」ということは本当だ
事実7: なにがしかの物は生じ得ないとすれば「その膝は素晴らしないししかもアテローム動脈硬化であるということはない」ということは嘘である
事実8: その膝は大きいしその上物珍しい
事実9: 仮にその膝が徹底出来ないとすれば燗付けで指導手順である

仮説: 「「その膝は闇屋でかつ痛ーい」ということは真実だ」ということは成り立たない
1. 事実1と事実7から、推論1: "「その膝は素晴らしないししかもそれはアテローム動脈硬化でない」ということは事実でない"が導かれる
2. 事実4から、推論2: "もしも「「その膝は素晴らしないしアテローム動脈硬化でない」ということは成り立つ」ということは事実と異なれば表中でない"が導かれる
3. 推論1と推論2から、推論3: "その膝は表中だということはない"が導かれる
4. 事実3から、推論4: "もしその膝が表中だということはないなら闇屋であるしまた痛ーい"が導かれる
5. 推論3と推論4から、仮説が否定される

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