あの運搬は軍刀でない
fact1: あの運搬は軍刀である fact2: 「「あのビット列はべた付き易くてまた射る」ということは間違いである」ということは成り立つ fact3: その通貨スワップ契約は軍刀である fact4: 「もしワラントが長生き出来ないとすれば軍刀である」ということは本当である fact5: べた付き易い物はワラントだ一方で長生き出来ない
fact1 -> hypothesis;
fact1 -> hypothesis;
あの運搬は軍刀であるということはない
fact6 -> int1: 「「べた付き易いし射る」ということは確かでない」物はある;
$facts$ = fact1: あの運搬は軍刀である fact2: 「「あのビット列はべた付き易くてまた射る」ということは間違いである」ということは成り立つ fact3: その通貨スワップ契約は軍刀である fact4: 「もしワラントが長生き出来ないとすれば軍刀である」ということは本当である fact5: べた付き易い物はワラントだ一方で長生き出来ない ; $hypothesis$ = あの運搬は軍刀でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの運搬は軍刀である
事実2: 「「あのビット列はべた付き易くてまた射る」ということは間違いである」ということは成り立つ
事実3: その通貨スワップ契約は軍刀である
事実4: 「もしワラントが長生き出来ないとすれば軍刀である」ということは本当である
事実5: べた付き易い物はワラントだ一方で長生き出来ない

仮説: あの運搬は軍刀でない
1. 事実1から、仮説が否定される

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