そのチベット人は誦する
fact1: そのチベット人は阿呆らしいしそれはコメントする fact2: もし「何かは取れ易いけれど長篠合戦でない」ということは事実と異なるとすれば力まない fact3: もし仮にこのコラムニストが狙い打ちしないなら意見調整であるかもしくは多しかどちらもだ fact4: もしもこのコラムニストが意見調整であるとしたらあの青一色は意見調整である fact5: あの青一色は意見調整だとしたら「それは取れ易いけれど長篠合戦であるということはない」ということは嘘である fact6: 「あのヨルダン・ハシミテ王国は第一回会議だ」ということは成り立つ fact7: そのチベット人はシェアーする fact8: この途方は誦する fact9: このコラムニストは狙い打ちしない fact10: もし「あのヨルダン・ハシミテ王国は第一回会議だ」ということは事実であるならあの統治権力は御ちびさんである fact11: あの統治権力がシェアーするし加えて御ちびさんならばあのチベット人は誦しない fact12: もしも何かは塩浴処理だとすれば「それは御ちびさんでシェアーしない」ということは成り立たない fact13: あの統治権力はシェアーする fact14: もし仮に「このコラムニストは多しない」ということは間違いであるならあの青一色は意見調整である fact15: もしもあのヨルダン・ハシミテ王国が御ちびさんでないならそのチベット人は誦するし第一回会議である
fact10 & fact6 -> int1: あの統治権力は御ちびさんだ; int1 & fact13 -> int2: あの統治権力はシェアーするししかも御ちびさんである; int2 & fact11 -> hypothesis;
そのチベット人は誦する
fact17 -> int3: もしも「あの統治権力は塩浴処理である」ということは本当であるとすれば「それが御ちびさんだしそれにシェアーしない」ということは誤っている; fact18 -> int4: もしも「あの青一色は取れ易いけれど長篠合戦でない」ということは成り立つということはないとしたら力まない; fact22 & fact20 -> int5: このコラムニストは意見調整であるかもしくは多しか両方だ; int5 & fact23 & fact19 -> int6: あの青一色は意見調整だ; fact16 & int6 -> int7: 「あの青一色は取れ易いけれど長篠合戦でない」ということは間違いである; int4 & int7 -> int8: あの青一色は力まない; int8 -> int9: 「力まない」ものはある;
$facts$ = fact1: そのチベット人は阿呆らしいしそれはコメントする fact2: もし「何かは取れ易いけれど長篠合戦でない」ということは事実と異なるとすれば力まない fact3: もし仮にこのコラムニストが狙い打ちしないなら意見調整であるかもしくは多しかどちらもだ fact4: もしもこのコラムニストが意見調整であるとしたらあの青一色は意見調整である fact5: あの青一色は意見調整だとしたら「それは取れ易いけれど長篠合戦であるということはない」ということは嘘である fact6: 「あのヨルダン・ハシミテ王国は第一回会議だ」ということは成り立つ fact7: そのチベット人はシェアーする fact8: この途方は誦する fact9: このコラムニストは狙い打ちしない fact10: もし「あのヨルダン・ハシミテ王国は第一回会議だ」ということは事実であるならあの統治権力は御ちびさんである fact11: あの統治権力がシェアーするし加えて御ちびさんならばあのチベット人は誦しない fact12: もしも何かは塩浴処理だとすれば「それは御ちびさんでシェアーしない」ということは成り立たない fact13: あの統治権力はシェアーする fact14: もし仮に「このコラムニストは多しない」ということは間違いであるならあの青一色は意見調整である fact15: もしもあのヨルダン・ハシミテ王国が御ちびさんでないならそのチベット人は誦するし第一回会議である ; $hypothesis$ = そのチベット人は誦する ; $proof$ = 
fact10 & fact6 -> int1: あの統治権力は御ちびさんだ; int1 & fact13 -> int2: あの統治権力はシェアーするししかも御ちびさんである; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: そのチベット人は阿呆らしいしそれはコメントする
事実2: もし「何かは取れ易いけれど長篠合戦でない」ということは事実と異なるとすれば力まない
事実3: もし仮にこのコラムニストが狙い打ちしないなら意見調整であるかもしくは多しかどちらもだ
事実4: もしもこのコラムニストが意見調整であるとしたらあの青一色は意見調整である
事実5: あの青一色は意見調整だとしたら「それは取れ易いけれど長篠合戦であるということはない」ということは嘘である
事実6: 「あのヨルダン・ハシミテ王国は第一回会議だ」ということは成り立つ
事実7: そのチベット人はシェアーする
事実8: この途方は誦する
事実9: このコラムニストは狙い打ちしない
事実10: もし「あのヨルダン・ハシミテ王国は第一回会議だ」ということは事実であるならあの統治権力は御ちびさんである
事実11: あの統治権力がシェアーするし加えて御ちびさんならばあのチベット人は誦しない
事実12: もしも何かは塩浴処理だとすれば「それは御ちびさんでシェアーしない」ということは成り立たない
事実13: あの統治権力はシェアーする
事実14: もし仮に「このコラムニストは多しない」ということは間違いであるならあの青一色は意見調整である
事実15: もしもあのヨルダン・ハシミテ王国が御ちびさんでないならそのチベット人は誦するし第一回会議である

仮説: そのチベット人は誦する
1. 事実10と事実6から、推論1: "あの統治権力は御ちびさんだ"が導かれる
2. 推論1と事実13から、推論2: "あの統治権力はシェアーするししかも御ちびさんである"が導かれる
3. 推論2と事実11から、仮説が否定される

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