この対質は難くない
fact1: その糖尿試験紙は難い fact2: もしもなんらかのものが臨めばそれは懐っこくないし大業だということはない fact3: この対質は難い fact4: この対質は紅白である fact5: この対質が臨むとすればそれは懐っこい fact6: この木灰は難い fact7: この対質は構成出来る fact8: この対質はミスプロ系である fact9: 仮にこの有形無形は懐っこくないし大業でないとすれば「この対質は難くない」ということは成り立つ fact10: この対質は援助等である fact11: この対質は通行出来る fact12: この黒先白死は難い fact13: もし「なにがしかのものは大業でなくて更にそれは難くない」ということは間違いだとしたらそれは難い fact14: もしもこの有形無形が憎らしくないならそれは臨むしまたチリペーストである fact15: その継父は難い fact16: もし仮にこの有形無形が臨むならこの対質は臨む fact17: あの比較可能性は難い fact18: 「このＮＶＡＦは難い」ということは正しい fact19: この対質は限り無い
fact3 -> hypothesis;
fact3 -> hypothesis;
あのアーク溶接は難い
fact23 -> int1: 仮に「「あのアーク溶接は大業でないし難くない」ということは間違いでない」ということは事実でないとすれば「それは難い」ということは確かである;
$facts$ = fact1: その糖尿試験紙は難い fact2: もしもなんらかのものが臨めばそれは懐っこくないし大業だということはない fact3: この対質は難い fact4: この対質は紅白である fact5: この対質が臨むとすればそれは懐っこい fact6: この木灰は難い fact7: この対質は構成出来る fact8: この対質はミスプロ系である fact9: 仮にこの有形無形は懐っこくないし大業でないとすれば「この対質は難くない」ということは成り立つ fact10: この対質は援助等である fact11: この対質は通行出来る fact12: この黒先白死は難い fact13: もし「なにがしかのものは大業でなくて更にそれは難くない」ということは間違いだとしたらそれは難い fact14: もしもこの有形無形が憎らしくないならそれは臨むしまたチリペーストである fact15: その継父は難い fact16: もし仮にこの有形無形が臨むならこの対質は臨む fact17: あの比較可能性は難い fact18: 「このＮＶＡＦは難い」ということは正しい fact19: この対質は限り無い ; $hypothesis$ = この対質は難くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その糖尿試験紙は難い
事実2: もしもなんらかのものが臨めばそれは懐っこくないし大業だということはない
事実3: この対質は難い
事実4: この対質は紅白である
事実5: この対質が臨むとすればそれは懐っこい
事実6: この木灰は難い
事実7: この対質は構成出来る
事実8: この対質はミスプロ系である
事実9: 仮にこの有形無形は懐っこくないし大業でないとすれば「この対質は難くない」ということは成り立つ
事実10: この対質は援助等である
事実11: この対質は通行出来る
事実12: この黒先白死は難い
事実13: もし「なにがしかのものは大業でなくて更にそれは難くない」ということは間違いだとしたらそれは難い
事実14: もしもこの有形無形が憎らしくないならそれは臨むしまたチリペーストである
事実15: その継父は難い
事実16: もし仮にこの有形無形が臨むならこの対質は臨む
事実17: あの比較可能性は難い
事実18: 「このＮＶＡＦは難い」ということは正しい
事実19: この対質は限り無い

仮説: この対質は難くない
1. 事実3から、仮説が否定される

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