「その双交通は多糖でない」ということは誤りだ
fact1: もしあの立ち会いが土壌消毒であるし加えて捕らえ易いとするとその双交通は多糖でない fact2: もし仮にその双交通が執行停止だしまた半解凍すればあの立ち会いは多糖でない fact3: 仮になにがしかのものは土壌消毒でないなら多糖であるしそれに半解凍する fact4: あの立ち会いが房だしかつそれは松風だ fact5: あの立ち会いは執行停止である fact6: あの立ち会いは押さえ難くない fact7: あの立ち会いは捕らえ易い執行停止である fact8: あの立ち会いは半解凍するしおまけにそれは土壌消毒だ fact9: その双交通は捕らえ易くない fact10: あの立ち会いは半解凍する fact11: あの立ち会いは執行停止であるし多糖である
fact8 -> int1: あの立ち会いは土壌消毒だ; fact7 -> int2: あの立ち会いは捕らえ易い; int1 & int2 -> int3: あの立ち会いは土壌消毒であるしそれに捕らえ易い; int3 & fact1 -> hypothesis;
その双交通は多糖だ
fact12 -> int4: もし仮にその双交通は土壌消毒でないとするとそれは多糖であるし半解凍する;
$facts$ = fact1: もしあの立ち会いが土壌消毒であるし加えて捕らえ易いとするとその双交通は多糖でない fact2: もし仮にその双交通が執行停止だしまた半解凍すればあの立ち会いは多糖でない fact3: 仮になにがしかのものは土壌消毒でないなら多糖であるしそれに半解凍する fact4: あの立ち会いが房だしかつそれは松風だ fact5: あの立ち会いは執行停止である fact6: あの立ち会いは押さえ難くない fact7: あの立ち会いは捕らえ易い執行停止である fact8: あの立ち会いは半解凍するしおまけにそれは土壌消毒だ fact9: その双交通は捕らえ易くない fact10: あの立ち会いは半解凍する fact11: あの立ち会いは執行停止であるし多糖である ; $hypothesis$ = 「その双交通は多糖でない」ということは誤りだ ; $proof$ = 
fact8 -> int1: あの立ち会いは土壌消毒だ; fact7 -> int2: あの立ち会いは捕らえ易い; int1 & int2 -> int3: あの立ち会いは土壌消毒であるしそれに捕らえ易い; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあの立ち会いが土壌消毒であるし加えて捕らえ易いとするとその双交通は多糖でない
事実2: もし仮にその双交通が執行停止だしまた半解凍すればあの立ち会いは多糖でない
事実3: 仮になにがしかのものは土壌消毒でないなら多糖であるしそれに半解凍する
事実4: あの立ち会いが房だしかつそれは松風だ
事実5: あの立ち会いは執行停止である
事実6: あの立ち会いは押さえ難くない
事実7: あの立ち会いは捕らえ易い執行停止である
事実8: あの立ち会いは半解凍するしおまけにそれは土壌消毒だ
事実9: その双交通は捕らえ易くない
事実10: あの立ち会いは半解凍する
事実11: あの立ち会いは執行停止であるし多糖である

仮説: 「その双交通は多糖でない」ということは誤りだ
1. 事実8から、推論1: "あの立ち会いは土壌消毒だ"が導かれる
2. 事実7から、推論2: "あの立ち会いは捕らえ易い"が導かれる
3. 推論1と推論2から、推論3: "あの立ち会いは土壌消毒であるしそれに捕らえ易い"が導かれる
4. 推論3と事実1から、仮説が否定される

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