「「もしも「リレーしない」ということは真実であるなら基準額でなくてかつ用心深い」ものはある」ということは成り立たない
fact1: もしこの甲村家が保全しないとしたら破断しない fact2: もしこの甲村家がリレーしないとしたらそれは難くない fact3: いみじないものは泥臭くない fact4: 「「もし仮に難くないとしたら聞き終えないが総資本である」物はある」ということは成り立つ fact5: ある物が住み難いとしたらそれは貧乏しなくてそれは止めど無い fact6: もしとある物がリレーしないとすれば基準額でないが用心深い fact7: 「仮に観念しないとしたらレネルでない」物はある fact8: もしもある物が言及するということはないなら平時であるということはない fact9: 何かは運悪くないならば「それは返りらしくない」ということは誤りであるということはない fact10: 「仮に看過し難いなら規定すらないしおまけに面倒臭い」ものはある fact11: 「あの尿酸結晶は聞き終えない」ということは成り立つとするとエクスポートし為さらない fact12: この甲村家がＤＥＳだということはないなら基準額でない
fact6 -> int1: 仮にこの甲村家がリレーしないとするとそれは基準額でないが用心深い; int1 -> hypothesis;
$facts$ = fact1: もしこの甲村家が保全しないとしたら破断しない fact2: もしこの甲村家がリレーしないとしたらそれは難くない fact3: いみじないものは泥臭くない fact4: 「「もし仮に難くないとしたら聞き終えないが総資本である」物はある」ということは成り立つ fact5: ある物が住み難いとしたらそれは貧乏しなくてそれは止めど無い fact6: もしとある物がリレーしないとすれば基準額でないが用心深い fact7: 「仮に観念しないとしたらレネルでない」物はある fact8: もしもある物が言及するということはないなら平時であるということはない fact9: 何かは運悪くないならば「それは返りらしくない」ということは誤りであるということはない fact10: 「仮に看過し難いなら規定すらないしおまけに面倒臭い」ものはある fact11: 「あの尿酸結晶は聞き終えない」ということは成り立つとするとエクスポートし為さらない fact12: この甲村家がＤＥＳだということはないなら基準額でない ; $hypothesis$ = 「「もしも「リレーしない」ということは真実であるなら基準額でなくてかつ用心深い」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> int1: 仮にこの甲村家がリレーしないとするとそれは基準額でないが用心深い; int1 -> hypothesis; __DISPROVED__
事実1: もしこの甲村家が保全しないとしたら破断しない
事実2: もしこの甲村家がリレーしないとしたらそれは難くない
事実3: いみじないものは泥臭くない
事実4: 「「もし仮に難くないとしたら聞き終えないが総資本である」物はある」ということは成り立つ
事実5: ある物が住み難いとしたらそれは貧乏しなくてそれは止めど無い
事実6: もしとある物がリレーしないとすれば基準額でないが用心深い
事実7: 「仮に観念しないとしたらレネルでない」物はある
事実8: もしもある物が言及するということはないなら平時であるということはない
事実9: 何かは運悪くないならば「それは返りらしくない」ということは誤りであるということはない
事実10: 「仮に看過し難いなら規定すらないしおまけに面倒臭い」ものはある
事実11: 「あの尿酸結晶は聞き終えない」ということは成り立つとするとエクスポートし為さらない
事実12: この甲村家がＤＥＳだということはないなら基準額でない

仮説: 「「もしも「リレーしない」ということは真実であるなら基準額でなくてかつ用心深い」ものはある」ということは成り立たない
1. 事実6から、推論1: "仮にこの甲村家がリレーしないとするとそれは基準額でないが用心深い"が導かれる
2. 推論1から、仮説が否定される

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