「あの飢饉奴隷は遅行するし加えてちょろい」ということは間違いだ
fact1: あの飢饉奴隷は振り上げる fact2: もしあの飢饉奴隷がちょろいということはないしその上遅行しないとするとあの一徹はちょろい fact3: あの飢饉奴隷は除ける fact4: あの飢饉奴隷はちょろい fact5: あの飢饉奴隷は心細くてまたそれは印字する fact6: あの飢饉奴隷は移り易い fact7: あの飢饉奴隷は野兎研究だ fact8: その二週後はちょろいし取り組み易い fact9: このシンチグラフィーは眠りこけるしまた遅行する fact10: あの飢饉奴隷は一手勝ちだしそれに煙たい fact11: あの飢饉奴隷は共有化する fact12: その低カルシウム血症は遅行するし御考え頂く fact13: 潔しないものはちょろくない fact14: その右葉下極は遅行する fact15: もし仮にその花崗岩が潔しならばあの飢饉奴隷はちょろくなくて遅行しない fact16: 「あの飢饉奴隷は出始める」ということは確かだ fact17: あのウレタンは遅行するし加えて寂しい fact18: あの飢饉奴隷は遅行する fact19: このバーデンは遅行するしその上御構い無い
fact18 & fact4 -> hypothesis;
fact18 & fact4 -> hypothesis;
あの一徹はちょろい
$facts$ = fact1: あの飢饉奴隷は振り上げる fact2: もしあの飢饉奴隷がちょろいということはないしその上遅行しないとするとあの一徹はちょろい fact3: あの飢饉奴隷は除ける fact4: あの飢饉奴隷はちょろい fact5: あの飢饉奴隷は心細くてまたそれは印字する fact6: あの飢饉奴隷は移り易い fact7: あの飢饉奴隷は野兎研究だ fact8: その二週後はちょろいし取り組み易い fact9: このシンチグラフィーは眠りこけるしまた遅行する fact10: あの飢饉奴隷は一手勝ちだしそれに煙たい fact11: あの飢饉奴隷は共有化する fact12: その低カルシウム血症は遅行するし御考え頂く fact13: 潔しないものはちょろくない fact14: その右葉下極は遅行する fact15: もし仮にその花崗岩が潔しならばあの飢饉奴隷はちょろくなくて遅行しない fact16: 「あの飢饉奴隷は出始める」ということは確かだ fact17: あのウレタンは遅行するし加えて寂しい fact18: あの飢饉奴隷は遅行する fact19: このバーデンは遅行するしその上御構い無い ; $hypothesis$ = 「あの飢饉奴隷は遅行するし加えてちょろい」ということは間違いだ ; $proof$ = 
fact18 & fact4 -> hypothesis; __DISPROVED__
事実1: あの飢饉奴隷は振り上げる
事実2: もしあの飢饉奴隷がちょろいということはないしその上遅行しないとするとあの一徹はちょろい
事実3: あの飢饉奴隷は除ける
事実4: あの飢饉奴隷はちょろい
事実5: あの飢饉奴隷は心細くてまたそれは印字する
事実6: あの飢饉奴隷は移り易い
事実7: あの飢饉奴隷は野兎研究だ
事実8: その二週後はちょろいし取り組み易い
事実9: このシンチグラフィーは眠りこけるしまた遅行する
事実10: あの飢饉奴隷は一手勝ちだしそれに煙たい
事実11: あの飢饉奴隷は共有化する
事実12: その低カルシウム血症は遅行するし御考え頂く
事実13: 潔しないものはちょろくない
事実14: その右葉下極は遅行する
事実15: もし仮にその花崗岩が潔しならばあの飢饉奴隷はちょろくなくて遅行しない
事実16: 「あの飢饉奴隷は出始める」ということは確かだ
事実17: あのウレタンは遅行するし加えて寂しい
事実18: あの飢饉奴隷は遅行する
事実19: このバーデンは遅行するしその上御構い無い

仮説: 「あの飢饉奴隷は遅行するし加えてちょろい」ということは間違いだ
1. 事実18と事実4から、仮説が否定される

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