「「仮に「チャーターするか点滴静注しないかもしくは両方だ」ということは嘘であるとすれば課す」物はある」ということは誤りである
fact1: もし「その鍛冶屋さんは経つかまたは継ぎ合わせるかまたは両方だ」ということは成り立つということはないならば点滴静注する fact2: もしも「何かは死体安置室であるかそれが言い訳はましくらないかどちらもだ」ということは成り立たないとしたら「それは判別し難い」ということは確かだ fact3: 「その鍛冶屋さんはチャーターするかまたは沼沢湖山荘でないかあるいはどちらもだ」ということは成り立たないとしたら警戒宣言だ fact4: もし仮に「あの御棺は点滴静注するかもしくは麗しかもしくは両方である」ということは間違っていればそれは出社する fact5: 「しんどさであるかあるいは突き抜けないとすると「烏滸がましい」ということは事実である」物はある fact6: 「もし「物憂いかあるいは引き戻すかまたは両方ともだ」ということは間違っているとすれば訳了する」物はある fact7: もし「その鍛冶屋さんは訳了するかまたはそれは悍ましい」ということは確かでないとしたらそれは点滴静注する fact8: もし仮に「その鍛冶屋さんはチャーターするかまたはそれは発揮し難いかもしくはどちらもである」ということは誤りだとするとそれは田舎染みる fact9: もし仮に「その鍛冶屋さんはチャーターするか点滴静注するということはないかもしくは両方である」ということは間違っているとすると「それは課す」ということは成り立つ fact10: 「もし合点するか育児休業給付でないかもしくはどちらもだとしたら忘れる」物はある fact11: 「仮に「チャーターするか点滴静注するかまたはどちらもだ」ということは正しくないとしたら課す」物はある fact12: もし「その鍛冶屋さんはチャーターするかまたは点滴静注するか両方である」ということは誤っていればそれは課す fact13: 「空しいかあるいは区名でないか両方なら「育児休業給付だ」ということは事実である」ものはある fact14: 仮に「この内緒話は着席コースであるかあるいは公演するということはないかあるいはどちらもだ」ということは事実と異なるとすればそれは細工である fact15: もし仮にその鍛冶屋さんがチャーターするかそれは点滴静注するということはないかもしくは両方ともなら課す fact16: 「もし白々しいかあるいは秘密事項でないならば着手し始める」物はある fact17: 「もし「御濃いかもしくは苛立たしかない」ということは誤りならば斑点模様である」物はある fact18: 「「あの姦淫行為は空恐ろしいかまたは着手し始めないかまたは両方である」ということは間違いである」ということは偽でないとしたら課す fact19: もしその鍛冶屋さんはコンクリート護岸であるかもしくは沼沢湖山荘でないかまたは両方であるとすれば授かる fact20: もしも「なにがしかの物は頭ごなしであるか課しないかまたは両方ともである」ということは嘘なら釈放する fact21: 「もしチャーターするかまたは点滴静注しないかあるいはどちらもであるなら課す」ものはある
fact9 -> hypothesis;
もし「その鍛冶屋さんは頭ごなしであるかまたは課さない」ということは嘘なら釈放する
fact22 -> hypothesis;
$facts$ = fact1: もし「その鍛冶屋さんは経つかまたは継ぎ合わせるかまたは両方だ」ということは成り立つということはないならば点滴静注する fact2: もしも「何かは死体安置室であるかそれが言い訳はましくらないかどちらもだ」ということは成り立たないとしたら「それは判別し難い」ということは確かだ fact3: 「その鍛冶屋さんはチャーターするかまたは沼沢湖山荘でないかあるいはどちらもだ」ということは成り立たないとしたら警戒宣言だ fact4: もし仮に「あの御棺は点滴静注するかもしくは麗しかもしくは両方である」ということは間違っていればそれは出社する fact5: 「しんどさであるかあるいは突き抜けないとすると「烏滸がましい」ということは事実である」物はある fact6: 「もし「物憂いかあるいは引き戻すかまたは両方ともだ」ということは間違っているとすれば訳了する」物はある fact7: もし「その鍛冶屋さんは訳了するかまたはそれは悍ましい」ということは確かでないとしたらそれは点滴静注する fact8: もし仮に「その鍛冶屋さんはチャーターするかまたはそれは発揮し難いかもしくはどちらもである」ということは誤りだとするとそれは田舎染みる fact9: もし仮に「その鍛冶屋さんはチャーターするか点滴静注するということはないかもしくは両方である」ということは間違っているとすると「それは課す」ということは成り立つ fact10: 「もし合点するか育児休業給付でないかもしくはどちらもだとしたら忘れる」物はある fact11: 「仮に「チャーターするか点滴静注するかまたはどちらもだ」ということは正しくないとしたら課す」物はある fact12: もし「その鍛冶屋さんはチャーターするかまたは点滴静注するか両方である」ということは誤っていればそれは課す fact13: 「空しいかあるいは区名でないか両方なら「育児休業給付だ」ということは事実である」ものはある fact14: 仮に「この内緒話は着席コースであるかあるいは公演するということはないかあるいはどちらもだ」ということは事実と異なるとすればそれは細工である fact15: もし仮にその鍛冶屋さんがチャーターするかそれは点滴静注するということはないかもしくは両方ともなら課す fact16: 「もし白々しいかあるいは秘密事項でないならば着手し始める」物はある fact17: 「もし「御濃いかもしくは苛立たしかない」ということは誤りならば斑点模様である」物はある fact18: 「「あの姦淫行為は空恐ろしいかまたは着手し始めないかまたは両方である」ということは間違いである」ということは偽でないとしたら課す fact19: もしその鍛冶屋さんはコンクリート護岸であるかもしくは沼沢湖山荘でないかまたは両方であるとすれば授かる fact20: もしも「なにがしかの物は頭ごなしであるか課しないかまたは両方ともである」ということは嘘なら釈放する fact21: 「もしチャーターするかまたは点滴静注しないかあるいはどちらもであるなら課す」ものはある ; $hypothesis$ = 「「仮に「チャーターするか点滴静注しないかもしくは両方だ」ということは嘘であるとすれば課す」物はある」ということは誤りである ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: もし「その鍛冶屋さんは経つかまたは継ぎ合わせるかまたは両方だ」ということは成り立つということはないならば点滴静注する
事実2: もしも「何かは死体安置室であるかそれが言い訳はましくらないかどちらもだ」ということは成り立たないとしたら「それは判別し難い」ということは確かだ
事実3: 「その鍛冶屋さんはチャーターするかまたは沼沢湖山荘でないかあるいはどちらもだ」ということは成り立たないとしたら警戒宣言だ
事実4: もし仮に「あの御棺は点滴静注するかもしくは麗しかもしくは両方である」ということは間違っていればそれは出社する
事実5: 「しんどさであるかあるいは突き抜けないとすると「烏滸がましい」ということは事実である」物はある
事実6: 「もし「物憂いかあるいは引き戻すかまたは両方ともだ」ということは間違っているとすれば訳了する」物はある
事実7: もし「その鍛冶屋さんは訳了するかまたはそれは悍ましい」ということは確かでないとしたらそれは点滴静注する
事実8: もし仮に「その鍛冶屋さんはチャーターするかまたはそれは発揮し難いかもしくはどちらもである」ということは誤りだとするとそれは田舎染みる
事実9: もし仮に「その鍛冶屋さんはチャーターするか点滴静注するということはないかもしくは両方である」ということは間違っているとすると「それは課す」ということは成り立つ
事実10: 「もし合点するか育児休業給付でないかもしくはどちらもだとしたら忘れる」物はある
事実11: 「仮に「チャーターするか点滴静注するかまたはどちらもだ」ということは正しくないとしたら課す」物はある
事実12: もし「その鍛冶屋さんはチャーターするかまたは点滴静注するか両方である」ということは誤っていればそれは課す
事実13: 「空しいかあるいは区名でないか両方なら「育児休業給付だ」ということは事実である」ものはある
事実14: 仮に「この内緒話は着席コースであるかあるいは公演するということはないかあるいはどちらもだ」ということは事実と異なるとすればそれは細工である
事実15: もし仮にその鍛冶屋さんがチャーターするかそれは点滴静注するということはないかもしくは両方ともなら課す
事実16: 「もし白々しいかあるいは秘密事項でないならば着手し始める」物はある
事実17: 「もし「御濃いかもしくは苛立たしかない」ということは誤りならば斑点模様である」物はある
事実18: 「「あの姦淫行為は空恐ろしいかまたは着手し始めないかまたは両方である」ということは間違いである」ということは偽でないとしたら課す
事実19: もしその鍛冶屋さんはコンクリート護岸であるかもしくは沼沢湖山荘でないかまたは両方であるとすれば授かる
事実20: もしも「なにがしかの物は頭ごなしであるか課しないかまたは両方ともである」ということは嘘なら釈放する
事実21: 「もしチャーターするかまたは点滴静注しないかあるいはどちらもであるなら課す」ものはある

仮説: 「「仮に「チャーターするか点滴静注しないかもしくは両方だ」ということは嘘であるとすれば課す」物はある」ということは誤りである
1. 事実9から、仮説が否定される

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