「この合弁事業は渦巻くということはないし加えて架橋しない」ということは成り立たない
fact1: この付随行為は盗掘しない fact2: この合弁事業は渦巻かない fact3: 「この合弁事業は渦巻く一方で架橋しない」ということは嘘である fact4: もし「この合弁事業は渦巻かないし加えて架橋するということはない」ということは誤りであるとすればあのＤＳＭ‐ＩＶは盗掘する fact5: このＤＳＭ‐ＩＶは盗掘しない fact6: 仮にこの合弁事業が渦巻くとすればこのＤＳＭ‐ＩＶは盗掘する fact7: このＤＳＭ‐ＩＶは架橋しない
void -> assump1: 以下のように仮定する。「この合弁事業は渦巻かないしおまけに架橋しない」ということは嘘だ; fact4 & assump1 -> int1: このＤＳＭ‐ＩＶは盗掘する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact4 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この付随行為は盗掘しない fact2: この合弁事業は渦巻かない fact3: 「この合弁事業は渦巻く一方で架橋しない」ということは嘘である fact4: もし「この合弁事業は渦巻かないし加えて架橋するということはない」ということは誤りであるとすればあのＤＳＭ‐ＩＶは盗掘する fact5: このＤＳＭ‐ＩＶは盗掘しない fact6: 仮にこの合弁事業が渦巻くとすればこのＤＳＭ‐ＩＶは盗掘する fact7: このＤＳＭ‐ＩＶは架橋しない ; $hypothesis$ = 「この合弁事業は渦巻くということはないし加えて架橋しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この合弁事業は渦巻かないしおまけに架橋しない」ということは嘘だ; fact4 & assump1 -> int1: このＤＳＭ‐ＩＶは盗掘する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この付随行為は盗掘しない
事実2: この合弁事業は渦巻かない
事実3: 「この合弁事業は渦巻く一方で架橋しない」ということは嘘である
事実4: もし「この合弁事業は渦巻かないし加えて架橋するということはない」ということは誤りであるとすればあのＤＳＭ‐ＩＶは盗掘する
事実5: このＤＳＭ‐ＩＶは盗掘しない
事実6: 仮にこの合弁事業が渦巻くとすればこのＤＳＭ‐ＩＶは盗掘する
事実7: このＤＳＭ‐ＩＶは架橋しない

仮説: 「この合弁事業は渦巻くということはないし加えて架橋しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「この合弁事業は渦巻かないしおまけに架橋しない」ということは嘘だ
2. 事実4と仮定1から、推論1: "このＤＳＭ‐ＩＶは盗掘する"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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