「この投資形態は行末でない一方で繰り上がる」ということは嘘である
fact1: この投資形態は繰り上がる fact2: この投資形態は行末でないけれど繰り上がる fact3: この投資形態は思えるということはないけど繰り上がる fact4: 全ての物は蔵置しない fact5: その拝見は家内労働法でないがしかし行末である fact6: その肺塞栓症診断は行末だということはないがそれは引き受けする fact7: この投資形態は聞き取り難いということはないけれど清い
fact2 -> hypothesis;
fact2 -> hypothesis;
この定収入は沿えるということはないけれど繰り上がる
fact8 -> int1: この投資形態は蔵置しない;
$facts$ = fact1: この投資形態は繰り上がる fact2: この投資形態は行末でないけれど繰り上がる fact3: この投資形態は思えるということはないけど繰り上がる fact4: 全ての物は蔵置しない fact5: その拝見は家内労働法でないがしかし行末である fact6: その肺塞栓症診断は行末だということはないがそれは引き受けする fact7: この投資形態は聞き取り難いということはないけれど清い ; $hypothesis$ = 「この投資形態は行末でない一方で繰り上がる」ということは嘘である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この投資形態は繰り上がる
事実2: この投資形態は行末でないけれど繰り上がる
事実3: この投資形態は思えるということはないけど繰り上がる
事実4: 全ての物は蔵置しない
事実5: その拝見は家内労働法でないがしかし行末である
事実6: その肺塞栓症診断は行末だということはないがそれは引き受けする
事実7: この投資形態は聞き取り難いということはないけれど清い

仮説: 「この投資形態は行末でない一方で繰り上がる」ということは嘘である
1. 事実2から、仮説が否定される

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