この吸血鬼は艶出ししない
fact1: その被割込み車が猛反発だ一方で修得定でないならこの吸血鬼は艶出しする fact2: もし仮にその料紙が生まれ易いとしたらその根室本線は卵子・卵丘細胞複合体である fact3: そのシステムベンダーはしゃくる fact4: その根室本線は呼べる一方でそれは聞き易くない fact5: 「そのシステムベンダーはしゃくる」ということは本当であるとしたら「その被割込み車が修得定だけど呼べない」ということは真実でない fact6: 修得定は猛反発でないなら生まれ易くない fact7: 「なにかは修得定であるがしかし呼べない」ということは偽であるとすればそれは修得定だということはない fact8: もしもその根室本線が艶出しするならその料紙は修得定であるけど猛反発でない fact9: もしも「その料紙はしゃくる一方で生まれ易いということはない」ということは間違っているとするとそれはしゃくるということはない fact10: その料紙は修得定である fact11: この吸血鬼は修得定である fact12: 仮にその根室本線が卵子・卵丘細胞複合体であるとしたらその被割込み車は猛反発だ fact13: もし「その料紙は生まれ易くない」ということは成り立つとしたらあのポップは卵子・卵丘細胞複合体でない fact14: 「その料紙は生まれ易い」ということは正しい fact15: もしも「何かは生まれ易いしその上卵子・卵丘細胞複合体だ」ということは嘘であるなら「艶出しするということはない」ということは成り立つ fact16: そのシステムベンダーは呼べる fact17: この対談はしゃくる
fact2 & fact14 -> int1: その根室本線は卵子・卵丘細胞複合体である; int1 & fact12 -> int2: その被割込み車は猛反発である; fact3 & fact5 -> int3: 「その被割込み車は修得定であるが呼べない」ということは成り立たない; fact7 -> int4: もしも「その被割込み車は修得定であるがしかしそれは呼べない」ということは誤りであるとしたらそれは修得定でない; int3 & int4 -> int5: その被割込み車は修得定でない; int2 & int5 -> int6: その被割込み車が猛反発だけどそれは修得定であるということはない; int6 & fact1 -> hypothesis;
「あのポップは卵子・卵丘細胞複合体でない」ということは確かである
fact19 -> int7: 仮にその料紙は修得定だけれど猛反発でないとすると生まれ易くない;
$facts$ = fact1: その被割込み車が猛反発だ一方で修得定でないならこの吸血鬼は艶出しする fact2: もし仮にその料紙が生まれ易いとしたらその根室本線は卵子・卵丘細胞複合体である fact3: そのシステムベンダーはしゃくる fact4: その根室本線は呼べる一方でそれは聞き易くない fact5: 「そのシステムベンダーはしゃくる」ということは本当であるとしたら「その被割込み車が修得定だけど呼べない」ということは真実でない fact6: 修得定は猛反発でないなら生まれ易くない fact7: 「なにかは修得定であるがしかし呼べない」ということは偽であるとすればそれは修得定だということはない fact8: もしもその根室本線が艶出しするならその料紙は修得定であるけど猛反発でない fact9: もしも「その料紙はしゃくる一方で生まれ易いということはない」ということは間違っているとするとそれはしゃくるということはない fact10: その料紙は修得定である fact11: この吸血鬼は修得定である fact12: 仮にその根室本線が卵子・卵丘細胞複合体であるとしたらその被割込み車は猛反発だ fact13: もし「その料紙は生まれ易くない」ということは成り立つとしたらあのポップは卵子・卵丘細胞複合体でない fact14: 「その料紙は生まれ易い」ということは正しい fact15: もしも「何かは生まれ易いしその上卵子・卵丘細胞複合体だ」ということは嘘であるなら「艶出しするということはない」ということは成り立つ fact16: そのシステムベンダーは呼べる fact17: この対談はしゃくる ; $hypothesis$ = この吸血鬼は艶出ししない ; $proof$ = 
fact2 & fact14 -> int1: その根室本線は卵子・卵丘細胞複合体である; int1 & fact12 -> int2: その被割込み車は猛反発である; fact3 & fact5 -> int3: 「その被割込み車は修得定であるが呼べない」ということは成り立たない; fact7 -> int4: もしも「その被割込み車は修得定であるがしかしそれは呼べない」ということは誤りであるとしたらそれは修得定でない; int3 & int4 -> int5: その被割込み車は修得定でない; int2 & int5 -> int6: その被割込み車が猛反発だけどそれは修得定であるということはない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: その被割込み車が猛反発だ一方で修得定でないならこの吸血鬼は艶出しする
事実2: もし仮にその料紙が生まれ易いとしたらその根室本線は卵子・卵丘細胞複合体である
事実3: そのシステムベンダーはしゃくる
事実4: その根室本線は呼べる一方でそれは聞き易くない
事実5: 「そのシステムベンダーはしゃくる」ということは本当であるとしたら「その被割込み車が修得定だけど呼べない」ということは真実でない
事実6: 修得定は猛反発でないなら生まれ易くない
事実7: 「なにかは修得定であるがしかし呼べない」ということは偽であるとすればそれは修得定だということはない
事実8: もしもその根室本線が艶出しするならその料紙は修得定であるけど猛反発でない
事実9: もしも「その料紙はしゃくる一方で生まれ易いということはない」ということは間違っているとするとそれはしゃくるということはない
事実10: その料紙は修得定である
事実11: この吸血鬼は修得定である
事実12: 仮にその根室本線が卵子・卵丘細胞複合体であるとしたらその被割込み車は猛反発だ
事実13: もし「その料紙は生まれ易くない」ということは成り立つとしたらあのポップは卵子・卵丘細胞複合体でない
事実14: 「その料紙は生まれ易い」ということは正しい
事実15: もしも「何かは生まれ易いしその上卵子・卵丘細胞複合体だ」ということは嘘であるなら「艶出しするということはない」ということは成り立つ
事実16: そのシステムベンダーは呼べる
事実17: この対談はしゃくる

仮説: この吸血鬼は艶出ししない
1. 事実2と事実14から、推論1: "その根室本線は卵子・卵丘細胞複合体である"が導かれる
2. 推論1と事実12から、推論2: "その被割込み車は猛反発である"が導かれる
3. 事実3と事実5から、推論3: "「その被割込み車は修得定であるが呼べない」ということは成り立たない"が導かれる
4. 事実7から、推論4: "もしも「その被割込み車は修得定であるがしかしそれは呼べない」ということは誤りであるとしたらそれは修得定でない"が導かれる
5. 推論3と推論4から、推論5: "その被割込み車は修得定でない"が導かれる
6. 推論2と推論5から、推論6: "その被割込み車が猛反発だけどそれは修得定であるということはない"が導かれる
7. 推論6と事実1から、仮説が否定される

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