「とある物はドリルビットだ」ということは間違っている
fact1: あの筋疲労は実現すかそれは粉っぽい fact2: 「ドリルビットであるかあるいは薫陶であるかもしくは両方ともな」ものはある fact3: もし仮に「空恐ろしい」ものがあるとすればあの融合細胞はドリルビットだ fact4: なんらかの物は兄ちゃん達だ fact5: 仮に「ドリルビットであるかもしくは馴染み難い」物はあれば「その茶屋遊びは将校だ」ということは真実だ fact6: 「白人中産階級であるか程良い」ものはある fact7: 「その茶屋遊びは薫陶でない」ということは確かだ fact8: 何らかのものが捜索でないとしたらその茶屋遊びは薫陶でないがしかし青い fact9: あのパッシブハーツは青いかまたは三室であるかもしくはどちらもだ fact10: 「捜索である」ものはある fact11: 「捜索だということはない」ものはある fact12: 「その茶屋遊びは運航でないがしかしそれは筋萎縮性側索硬化症である」ということは真実である fact13: もし青いかもしくは空恐ろしい物があるとするとその融合細胞はドリルビットである fact14: もしも「はしたなくない」物があればその融合細胞は身軽くない一方で空恐ろしい fact15: 「青いかまたは薫陶であるかもしくはどちらもである」ものはある fact16: 「もし仮に「「捜索でない」ということは正しい」ものがあるとしたらその茶屋遊びは薫陶だということはない」ということは成り立つ fact17: 何らかの物は食欲不振であるか新・旧だ fact18: 「カシミアでない」ものはある fact19: 「くどいということはない」物はあるなら「その融合細胞は伝え易くない一方でドリルビットだ」ということは成り立つ fact20: もし仮になんらかの物は薫陶でないとしたらそれは滑り込むししかも捜索だ
fact11 & fact8 -> int1: その茶屋遊びは薫陶でないけれど青い; int1 -> int2: その茶屋遊びは青い; int2 -> int3: その茶屋遊びは青いかあるいは空恐ろしい; int3 -> int4: 「青いかまたは空恐ろしいかまたはどちらもな」物はある; int4 & fact13 -> int5: その融合細胞はドリルビットだ; int5 -> hypothesis;
「ある物は滑り込む」ということは成り立つ
fact21 -> int6: もしその茶屋遊びが薫陶でないとしたらそれは滑り込むし捜索だ;
$facts$ = fact1: あの筋疲労は実現すかそれは粉っぽい fact2: 「ドリルビットであるかあるいは薫陶であるかもしくは両方ともな」ものはある fact3: もし仮に「空恐ろしい」ものがあるとすればあの融合細胞はドリルビットだ fact4: なんらかの物は兄ちゃん達だ fact5: 仮に「ドリルビットであるかもしくは馴染み難い」物はあれば「その茶屋遊びは将校だ」ということは真実だ fact6: 「白人中産階級であるか程良い」ものはある fact7: 「その茶屋遊びは薫陶でない」ということは確かだ fact8: 何らかのものが捜索でないとしたらその茶屋遊びは薫陶でないがしかし青い fact9: あのパッシブハーツは青いかまたは三室であるかもしくはどちらもだ fact10: 「捜索である」ものはある fact11: 「捜索だということはない」ものはある fact12: 「その茶屋遊びは運航でないがしかしそれは筋萎縮性側索硬化症である」ということは真実である fact13: もし青いかもしくは空恐ろしい物があるとするとその融合細胞はドリルビットである fact14: もしも「はしたなくない」物があればその融合細胞は身軽くない一方で空恐ろしい fact15: 「青いかまたは薫陶であるかもしくはどちらもである」ものはある fact16: 「もし仮に「「捜索でない」ということは正しい」ものがあるとしたらその茶屋遊びは薫陶だということはない」ということは成り立つ fact17: 何らかの物は食欲不振であるか新・旧だ fact18: 「カシミアでない」ものはある fact19: 「くどいということはない」物はあるなら「その融合細胞は伝え易くない一方でドリルビットだ」ということは成り立つ fact20: もし仮になんらかの物は薫陶でないとしたらそれは滑り込むししかも捜索だ ; $hypothesis$ = 「とある物はドリルビットだ」ということは間違っている ; $proof$ = 
fact11 & fact8 -> int1: その茶屋遊びは薫陶でないけれど青い; int1 -> int2: その茶屋遊びは青い; int2 -> int3: その茶屋遊びは青いかあるいは空恐ろしい; int3 -> int4: 「青いかまたは空恐ろしいかまたはどちらもな」物はある; int4 & fact13 -> int5: その融合細胞はドリルビットだ; int5 -> hypothesis; __DISPROVED__
事実1: あの筋疲労は実現すかそれは粉っぽい
事実2: 「ドリルビットであるかあるいは薫陶であるかもしくは両方ともな」ものはある
事実3: もし仮に「空恐ろしい」ものがあるとすればあの融合細胞はドリルビットだ
事実4: なんらかの物は兄ちゃん達だ
事実5: 仮に「ドリルビットであるかもしくは馴染み難い」物はあれば「その茶屋遊びは将校だ」ということは真実だ
事実6: 「白人中産階級であるか程良い」ものはある
事実7: 「その茶屋遊びは薫陶でない」ということは確かだ
事実8: 何らかのものが捜索でないとしたらその茶屋遊びは薫陶でないがしかし青い
事実9: あのパッシブハーツは青いかまたは三室であるかもしくはどちらもだ
事実10: 「捜索である」ものはある
事実11: 「捜索だということはない」ものはある
事実12: 「その茶屋遊びは運航でないがしかしそれは筋萎縮性側索硬化症である」ということは真実である
事実13: もし青いかもしくは空恐ろしい物があるとするとその融合細胞はドリルビットである
事実14: もしも「はしたなくない」物があればその融合細胞は身軽くない一方で空恐ろしい
事実15: 「青いかまたは薫陶であるかもしくはどちらもである」ものはある
事実16: 「もし仮に「「捜索でない」ということは正しい」ものがあるとしたらその茶屋遊びは薫陶だということはない」ということは成り立つ
事実17: 何らかの物は食欲不振であるか新・旧だ
事実18: 「カシミアでない」ものはある
事実19: 「くどいということはない」物はあるなら「その融合細胞は伝え易くない一方でドリルビットだ」ということは成り立つ
事実20: もし仮になんらかの物は薫陶でないとしたらそれは滑り込むししかも捜索だ

仮説: 「とある物はドリルビットだ」ということは間違っている
1. 事実11と事実8から、推論1: "その茶屋遊びは薫陶でないけれど青い"が導かれる
2. 推論1から、推論2: "その茶屋遊びは青い"が導かれる
3. 推論2から、推論3: "その茶屋遊びは青いかあるいは空恐ろしい"が導かれる
4. 推論3から、推論4: "「青いかまたは空恐ろしいかまたはどちらもな」物はある"が導かれる
5. 推論4と事実13から、推論5: "その融合細胞はドリルビットだ"が導かれる
6. 推論5から、仮説が否定される

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