この家審規は斬奸状でない
fact1: その字数は斬奸状である fact2: その手は斬奸状である fact3: この家審規は斬奸状だ fact4: この省庁再編は斬奸状だ fact5: あの黄河上流域は斬奸状である fact6: この家審規は進み易い fact7: この米穀は斬奸状だ fact8: 「この家審規は在廷する」ということは本当だ fact9: この家審規は御迎え下さる fact10: この家審規は発行す fact11: この家審規は与え易い fact12: そのヨーロッパ型は斬奸状だ fact13: この家審規は余儀無い fact14: あの墓場は斬奸状だ fact15: この家審規は把握し辛い fact16: この家審規は心深し fact17: その最高税率は斬奸状だ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: その字数は斬奸状である fact2: その手は斬奸状である fact3: この家審規は斬奸状だ fact4: この省庁再編は斬奸状だ fact5: あの黄河上流域は斬奸状である fact6: この家審規は進み易い fact7: この米穀は斬奸状だ fact8: 「この家審規は在廷する」ということは本当だ fact9: この家審規は御迎え下さる fact10: この家審規は発行す fact11: この家審規は与え易い fact12: そのヨーロッパ型は斬奸状だ fact13: この家審規は余儀無い fact14: あの墓場は斬奸状だ fact15: この家審規は把握し辛い fact16: この家審規は心深し fact17: その最高税率は斬奸状だ ; $hypothesis$ = この家審規は斬奸状でない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その字数は斬奸状である
事実2: その手は斬奸状である
事実3: この家審規は斬奸状だ
事実4: この省庁再編は斬奸状だ
事実5: あの黄河上流域は斬奸状である
事実6: この家審規は進み易い
事実7: この米穀は斬奸状だ
事実8: 「この家審規は在廷する」ということは本当だ
事実9: この家審規は御迎え下さる
事実10: この家審規は発行す
事実11: この家審規は与え易い
事実12: そのヨーロッパ型は斬奸状だ
事実13: この家審規は余儀無い
事実14: あの墓場は斬奸状だ
事実15: この家審規は把握し辛い
事実16: この家審規は心深し
事実17: その最高税率は斬奸状だ

仮説: この家審規は斬奸状でない
1. 事実3から、仮説が否定される

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