その新商品は国内販売でない
fact1: その相互比較は国内販売でない fact2: その新商品は国内販売でない fact3: その新商品は沸き起こらない fact4: 取り掛かり易いものは国内販売でないしそれに財政立て直しでない fact5: もしもあの土地改革官が国内販売だとしたらその新商品は国内販売だ
fact2 -> hypothesis;
fact2 -> hypothesis;
その新商品は国内販売だ
$facts$ = fact1: その相互比較は国内販売でない fact2: その新商品は国内販売でない fact3: その新商品は沸き起こらない fact4: 取り掛かり易いものは国内販売でないしそれに財政立て直しでない fact5: もしもあの土地改革官が国内販売だとしたらその新商品は国内販売だ ; $hypothesis$ = その新商品は国内販売でない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その相互比較は国内販売でない
事実2: その新商品は国内販売でない
事実3: その新商品は沸き起こらない
事実4: 取り掛かり易いものは国内販売でないしそれに財政立て直しでない
事実5: もしもあの土地改革官が国内販売だとしたらその新商品は国内販売だ

仮説: その新商品は国内販売でない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。