その供給先は国有資本であるということはない
fact1: もし仮に何らかのものが回航しないがしかしそれが突き出ればそれは艶めかしくない fact2: その供給先は吝いしおまけにそれは国有資本だ fact3: もし仮に「この公式ホームページは吝くておまけに漁業局である」ということは正しいとしたらその供給先は国有資本でない fact4: もしこの公式ホームページは艶めかしくないなら「吝いし河本フォーミュラである」ということは成り立つ
fact2 -> hypothesis;
fact2 -> hypothesis;
その供給先は国有資本だということはない
fact5 -> int1: もし仮にこの公式ホームページは回航しない一方で突き出るとすればそれは艶めかしくない;
$facts$ = fact1: もし仮に何らかのものが回航しないがしかしそれが突き出ればそれは艶めかしくない fact2: その供給先は吝いしおまけにそれは国有資本だ fact3: もし仮に「この公式ホームページは吝くておまけに漁業局である」ということは正しいとしたらその供給先は国有資本でない fact4: もしこの公式ホームページは艶めかしくないなら「吝いし河本フォーミュラである」ということは成り立つ ; $hypothesis$ = その供給先は国有資本であるということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものが回航しないがしかしそれが突き出ればそれは艶めかしくない
事実2: その供給先は吝いしおまけにそれは国有資本だ
事実3: もし仮に「この公式ホームページは吝くておまけに漁業局である」ということは正しいとしたらその供給先は国有資本でない
事実4: もしこの公式ホームページは艶めかしくないなら「吝いし河本フォーミュラである」ということは成り立つ

仮説: その供給先は国有資本であるということはない
1. 事実2から、仮説が否定される

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