この二区は資するということはない
fact1: 仮にその同地域は粗いなら「あの入力容量は所有出来る」ということは事実である fact2: もし仮にあの入力容量は所有出来るとすると「この二区は所有出来るがしかし阻止でない」ということは偽だ fact3: 「あのＱさんは手伝わさないかあるいはそれは立て易くない」ということは嘘だ fact4: もしも「「あのＱさんは手伝わさないかそれは立て易いということはないかもしくは両方だ」ということは成り立つ」ということは確かでないとするとその同地域は粗い fact5: あのＱさんは手伝わす fact6: もしも「あるものは所有出来るがそれは阻止でない」ということは成り立たないとすると資する
fact4 & fact3 -> int1: その同地域は粗い; int1 & fact1 -> int2: あの入力容量は所有出来る; int2 & fact2 -> int3: 「この二区は所有出来る一方でそれは阻止でない」ということは誤っている; fact6 -> int4: 仮に「この二区は所有出来るけど阻止でない」ということは成り立たないとすればそれは資する; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮にその同地域は粗いなら「あの入力容量は所有出来る」ということは事実である fact2: もし仮にあの入力容量は所有出来るとすると「この二区は所有出来るがしかし阻止でない」ということは偽だ fact3: 「あのＱさんは手伝わさないかあるいはそれは立て易くない」ということは嘘だ fact4: もしも「「あのＱさんは手伝わさないかそれは立て易いということはないかもしくは両方だ」ということは成り立つ」ということは確かでないとするとその同地域は粗い fact5: あのＱさんは手伝わす fact6: もしも「あるものは所有出来るがそれは阻止でない」ということは成り立たないとすると資する ; $hypothesis$ = この二区は資するということはない ; $proof$ = 
fact4 & fact3 -> int1: その同地域は粗い; int1 & fact1 -> int2: あの入力容量は所有出来る; int2 & fact2 -> int3: 「この二区は所有出来る一方でそれは阻止でない」ということは誤っている; fact6 -> int4: 仮に「この二区は所有出来るけど阻止でない」ということは成り立たないとすればそれは資する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその同地域は粗いなら「あの入力容量は所有出来る」ということは事実である
事実2: もし仮にあの入力容量は所有出来るとすると「この二区は所有出来るがしかし阻止でない」ということは偽だ
事実3: 「あのＱさんは手伝わさないかあるいはそれは立て易くない」ということは嘘だ
事実4: もしも「「あのＱさんは手伝わさないかそれは立て易いということはないかもしくは両方だ」ということは成り立つ」ということは確かでないとするとその同地域は粗い
事実5: あのＱさんは手伝わす
事実6: もしも「あるものは所有出来るがそれは阻止でない」ということは成り立たないとすると資する

仮説: この二区は資するということはない
1. 事実4と事実3から、推論1: "その同地域は粗い"が導かれる
2. 推論1と事実1から、推論2: "あの入力容量は所有出来る"が導かれる
3. 推論2と事実2から、推論3: "「この二区は所有出来る一方でそれは阻止でない」ということは誤っている"が導かれる
4. 事実6から、推論4: "仮に「この二区は所有出来るけど阻止でない」ということは成り立たないとすればそれは資する"が導かれる
5. 推論3と推論4から、仮説が否定される

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