この専守防衛は近しない
fact1: 「この国際管理下は活性化出来ない一方で堪り易い」ということは成り立たないとすればこの専守防衛は近し fact2: 仮に「あの生殖器官は見付け難いが保ち易くない」ということは誤っているとするとそれはキャッシュカードである fact3: 「「外し易いしそれに入り交じらない」ということは誤っている」物はある fact4: 「この国際管理下は人身御供だ」ということは成り立つとすればそれは堪り易い fact5: もし仮に人身御供が甚だしくないならばそれは入り交じらない fact6: もしあの生殖器官は発砲するなら「それは見付け難いけど保ち易くない」ということは間違いである fact7: 仮になにがしかの物は入り交じらないなら「活性化出来ないが堪り易い」ということは誤りだ fact8: もし仮に「「外し易いけれど入り交じらない」ということは事実と異なる」物があるとすればあの生殖器官は入り交じる fact9: 仮になんらかの物はキャッシュカードであるとするとそれは外し易い fact10: もしもこの国際管理下が活性化出来るし更にそれが堪り易いならあの生殖器官は入り交じるということはない fact11: 仮にこの専守防衛が近しとすればこの国際管理下は活性化出来る fact12: この国際管理下は人身御供だ
void -> assump1: 以下のように仮定する。この専守防衛は近し; fact11 & assump1 -> int1: この国際管理下は活性化出来る; fact12 & fact4 -> int2: この国際管理下は堪り易い; int1 & int2 -> int3: この国際管理下は活性化出来るし加えてそれは堪り易い; int3 & fact10 -> int4: あの生殖器官は入り交じらない; fact8 & fact3 -> int5: あの生殖器官は入り交じる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この専守防衛は近し
fact18 -> int7: もしこの国際管理下は入り交じらないとしたら「活性化出来ないし堪り易い」ということは間違っている; fact14 -> int8: もしもこの国際管理下が人身御供だけど甚だしくないとすればそれは入り交じるということはない; fact16 -> int9: 仮にあの生殖器官がキャッシュカードだとすると外し易い;
$facts$ = fact1: 「この国際管理下は活性化出来ない一方で堪り易い」ということは成り立たないとすればこの専守防衛は近し fact2: 仮に「あの生殖器官は見付け難いが保ち易くない」ということは誤っているとするとそれはキャッシュカードである fact3: 「「外し易いしそれに入り交じらない」ということは誤っている」物はある fact4: 「この国際管理下は人身御供だ」ということは成り立つとすればそれは堪り易い fact5: もし仮に人身御供が甚だしくないならばそれは入り交じらない fact6: もしあの生殖器官は発砲するなら「それは見付け難いけど保ち易くない」ということは間違いである fact7: 仮になにがしかの物は入り交じらないなら「活性化出来ないが堪り易い」ということは誤りだ fact8: もし仮に「「外し易いけれど入り交じらない」ということは事実と異なる」物があるとすればあの生殖器官は入り交じる fact9: 仮になんらかの物はキャッシュカードであるとするとそれは外し易い fact10: もしもこの国際管理下が活性化出来るし更にそれが堪り易いならあの生殖器官は入り交じるということはない fact11: 仮にこの専守防衛が近しとすればこの国際管理下は活性化出来る fact12: この国際管理下は人身御供だ ; $hypothesis$ = この専守防衛は近しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この専守防衛は近し; fact11 & assump1 -> int1: この国際管理下は活性化出来る; fact12 & fact4 -> int2: この国際管理下は堪り易い; int1 & int2 -> int3: この国際管理下は活性化出来るし加えてそれは堪り易い; int3 & fact10 -> int4: あの生殖器官は入り交じらない; fact8 & fact3 -> int5: あの生殖器官は入り交じる; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「この国際管理下は活性化出来ない一方で堪り易い」ということは成り立たないとすればこの専守防衛は近し
事実2: 仮に「あの生殖器官は見付け難いが保ち易くない」ということは誤っているとするとそれはキャッシュカードである
事実3: 「「外し易いしそれに入り交じらない」ということは誤っている」物はある
事実4: 「この国際管理下は人身御供だ」ということは成り立つとすればそれは堪り易い
事実5: もし仮に人身御供が甚だしくないならばそれは入り交じらない
事実6: もしあの生殖器官は発砲するなら「それは見付け難いけど保ち易くない」ということは間違いである
事実7: 仮になにがしかの物は入り交じらないなら「活性化出来ないが堪り易い」ということは誤りだ
事実8: もし仮に「「外し易いけれど入り交じらない」ということは事実と異なる」物があるとすればあの生殖器官は入り交じる
事実9: 仮になんらかの物はキャッシュカードであるとするとそれは外し易い
事実10: もしもこの国際管理下が活性化出来るし更にそれが堪り易いならあの生殖器官は入り交じるということはない
事実11: 仮にこの専守防衛が近しとすればこの国際管理下は活性化出来る
事実12: この国際管理下は人身御供だ

仮説: この専守防衛は近しない
1. 仮定1: 以下のように仮定する。この専守防衛は近し
2. 事実11と仮定1から、推論1: "この国際管理下は活性化出来る"が導かれる
3. 事実12と事実4から、推論2: "この国際管理下は堪り易い"が導かれる
4. 推論1と推論2から、推論3: "この国際管理下は活性化出来るし加えてそれは堪り易い"が導かれる
5. 推論3と事実10から、推論4: "あの生殖器官は入り交じらない"が導かれる
6. 事実8と事実3から、推論5: "あの生殖器官は入り交じる"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

よって、仮説が証明されました。