「「もし仮にサドだとしたら打算でない」ものはある」ということは事実と異なる
fact1: 「売り込むなら取れ易い」ものはある fact2: 「「もし生え易いとしたら極まり悪くない」物はある」ということは成り立つ fact3: 甲高いものは起こさない fact4: 「もし訳無いなら観測する」物はある fact5: サドは打算である fact6: 「もし「苛つく」ということは事実であるなら御買い上げ頂く」ものはある fact7: ＣＶＳは終結しない fact8: 「「もし仮に「ダイムラーベンツ社案である」ということは本当であるとすれば落ちぶれる」ものはある」ということは事実である fact9: 仮になにかは拭い難いならば「それは厚ぼったいということはない」ということは真実だ fact10: 「もし仮に「如何わしい」ということは成り立つとすると盛り返す」物はある fact11: もし仮にその五号墳が成され易いならば混入しない fact12: もし仮になんらかの物がサドだとしたらそれは打算でない fact13: もしもこの小片は歴史的世界なら「サドでない」ということは偽でない
fact12 -> int1: もし仮にその五号墳がサドだとしたらそれは打算でない; int1 -> hypothesis;
$facts$ = fact1: 「売り込むなら取れ易い」ものはある fact2: 「「もし生え易いとしたら極まり悪くない」物はある」ということは成り立つ fact3: 甲高いものは起こさない fact4: 「もし訳無いなら観測する」物はある fact5: サドは打算である fact6: 「もし「苛つく」ということは事実であるなら御買い上げ頂く」ものはある fact7: ＣＶＳは終結しない fact8: 「「もし仮に「ダイムラーベンツ社案である」ということは本当であるとすれば落ちぶれる」ものはある」ということは事実である fact9: 仮になにかは拭い難いならば「それは厚ぼったいということはない」ということは真実だ fact10: 「もし仮に「如何わしい」ということは成り立つとすると盛り返す」物はある fact11: もし仮にその五号墳が成され易いならば混入しない fact12: もし仮になんらかの物がサドだとしたらそれは打算でない fact13: もしもこの小片は歴史的世界なら「サドでない」ということは偽でない ; $hypothesis$ = 「「もし仮にサドだとしたら打算でない」ものはある」ということは事実と異なる ; $proof$ = 
fact12 -> int1: もし仮にその五号墳がサドだとしたらそれは打算でない; int1 -> hypothesis; __DISPROVED__
事実1: 「売り込むなら取れ易い」ものはある
事実2: 「「もし生え易いとしたら極まり悪くない」物はある」ということは成り立つ
事実3: 甲高いものは起こさない
事実4: 「もし訳無いなら観測する」物はある
事実5: サドは打算である
事実6: 「もし「苛つく」ということは事実であるなら御買い上げ頂く」ものはある
事実7: ＣＶＳは終結しない
事実8: 「「もし仮に「ダイムラーベンツ社案である」ということは本当であるとすれば落ちぶれる」ものはある」ということは事実である
事実9: 仮になにかは拭い難いならば「それは厚ぼったいということはない」ということは真実だ
事実10: 「もし仮に「如何わしい」ということは成り立つとすると盛り返す」物はある
事実11: もし仮にその五号墳が成され易いならば混入しない
事実12: もし仮になんらかの物がサドだとしたらそれは打算でない
事実13: もしもこの小片は歴史的世界なら「サドでない」ということは偽でない

仮説: 「「もし仮にサドだとしたら打算でない」ものはある」ということは事実と異なる
1. 事実12から、推論1: "もし仮にその五号墳がサドだとしたらそれは打算でない"が導かれる
2. 推論1から、仮説が否定される

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