そのセキュリティホールはデコレーションするし使役する
fact1: 「その経営方式は増員するがしかし食害しない」ということは事実でないならそれは増員しない fact2: もしそのセキュリティホールがデコレーションするということはないとしたらそれは大工程でない fact3: 仮にそのセキュリティホールが大工程でないならばあの感染率は大工程であるかそれはがらんとしない fact4: もしそのセキュリティホールががらんとしないならばあの感染率はがらんとしないかまたはデコレーションしないか両方ともだ fact5: あの茅渟は大人しないしそれに理解し易くない fact6: 仮に「あの感染率は大工程でない」ということは確かならばそれは極まり悪くない fact7: もしもそのセキュリティホールががらんとしないし大工程でないならばあの感染率は極まり悪くない fact8: もし仮にあの感染率ががらんとしなくてそれに田舎っぽいということはないとすればあのセキュリティホールは大工程でない fact9: 仮にあの第五十六軍が田舎っぽいとしたらあの茅渟は極まり悪くない fact10: 仮にそのセキュリティホールが大工程でないならあの感染率は大工程だということはないかまたはがらんとしないかもしくは両方ともだ fact11: もしあの感染率は理解し易くないとしたら「それは大工程でないかもしくはそれはがらんとしないかまたは両方ともである」ということは成り立たない fact12: 「その経営方式は増員する一方でそれは食害しない」ということは誤っている fact13: 仮になにがしかのものは極まり悪くないなら「「がらんとしなくてまたそれは理解し易くない」ということは誤りでない」ということは誤りである fact14: ある物は戦災孤児でない fact15: 「その経営方式は増員しない」ということは真実であるとすると「この第五式は捨て難いが戦災孤児でない」ということは間違っている fact16: 仮に「戦災孤児でない」物があるとするとあの感染率は理解し易くない fact17: あの茅渟が捨て難くないしそれにそれが田舎っぽくないとするとそのセキュリティホールは極まり悪くない fact18: あの茅渟が捨て難くないしさらにそれは田舎っぽくない fact19: 仮にあの茅渟が捨て難いがしかし田舎っぽいということはないとするとそのセキュリティホールは極まり悪くない fact20: 極まり悪くないものは使役する fact21: あの感染率は大工程である fact22: もし「「捨て難いけれど戦災孤児でない」ということは事実と異なる」ものはあるとすれば「あの第五十六軍は田舎っぽい」ということは成り立つ fact23: その塙書房は理解し易くない
void -> assump1: 以下のように仮定する。そのセキュリティホールはデコレーションしない; fact2 & assump1 -> int1: そのセキュリティホールは大工程でない; int1 & fact10 -> int2: あの感染率は大工程でないかもしくはがらんとしないかあるいはどちらもだ; fact14 & fact16 -> int3: あの感染率は理解し易くない; int3 & fact11 -> int4: 「あの感染率は大工程だということはないかがらんとしない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのセキュリティホールはデコレーションする; fact20 -> int7: もし仮に「そのセキュリティホールは極まり悪くない」ということは成り立つとしたら使役する; fact17 & fact18 -> int8: そのセキュリティホールは極まり悪くない; int7 & int8 -> int9: そのセキュリティホールは使役する; int6 & int9 -> hypothesis;
「そのセキュリティホールはデコレーションするし使役する」ということは成り立たない
fact24 -> int10: もし仮にあの茅渟は極まり悪くないなら「それはがらんとしなくておまけに理解し易いということはない」ということは成り立たない; fact25 & fact26 -> int11: その経営方式は増員しない; fact27 & int11 -> int12: 「この第五式は捨て難い一方で戦災孤児でない」ということは成り立たない; int12 -> int13: 「「捨て難いけれど戦災孤児でない」ということは成り立つということはない」ものはある; int13 & fact29 -> int14: あの第五十六軍は田舎っぽい; fact28 & int14 -> int15: あの茅渟は極まり悪くない; int10 & int15 -> int16: 「「あの茅渟はがらんとしなくて更に理解し易いということはない」ということは本当だ」ということは成り立たない; int16 -> int17: 「「がらんとしなくて理解し易くない」ということは偽である」ものはある;
$facts$ = fact1: 「その経営方式は増員するがしかし食害しない」ということは事実でないならそれは増員しない fact2: もしそのセキュリティホールがデコレーションするということはないとしたらそれは大工程でない fact3: 仮にそのセキュリティホールが大工程でないならばあの感染率は大工程であるかそれはがらんとしない fact4: もしそのセキュリティホールががらんとしないならばあの感染率はがらんとしないかまたはデコレーションしないか両方ともだ fact5: あの茅渟は大人しないしそれに理解し易くない fact6: 仮に「あの感染率は大工程でない」ということは確かならばそれは極まり悪くない fact7: もしもそのセキュリティホールががらんとしないし大工程でないならばあの感染率は極まり悪くない fact8: もし仮にあの感染率ががらんとしなくてそれに田舎っぽいということはないとすればあのセキュリティホールは大工程でない fact9: 仮にあの第五十六軍が田舎っぽいとしたらあの茅渟は極まり悪くない fact10: 仮にそのセキュリティホールが大工程でないならあの感染率は大工程だということはないかまたはがらんとしないかもしくは両方ともだ fact11: もしあの感染率は理解し易くないとしたら「それは大工程でないかもしくはそれはがらんとしないかまたは両方ともである」ということは成り立たない fact12: 「その経営方式は増員する一方でそれは食害しない」ということは誤っている fact13: 仮になにがしかのものは極まり悪くないなら「「がらんとしなくてまたそれは理解し易くない」ということは誤りでない」ということは誤りである fact14: ある物は戦災孤児でない fact15: 「その経営方式は増員しない」ということは真実であるとすると「この第五式は捨て難いが戦災孤児でない」ということは間違っている fact16: 仮に「戦災孤児でない」物があるとするとあの感染率は理解し易くない fact17: あの茅渟が捨て難くないしそれにそれが田舎っぽくないとするとそのセキュリティホールは極まり悪くない fact18: あの茅渟が捨て難くないしさらにそれは田舎っぽくない fact19: 仮にあの茅渟が捨て難いがしかし田舎っぽいということはないとするとそのセキュリティホールは極まり悪くない fact20: 極まり悪くないものは使役する fact21: あの感染率は大工程である fact22: もし「「捨て難いけれど戦災孤児でない」ということは事実と異なる」ものはあるとすれば「あの第五十六軍は田舎っぽい」ということは成り立つ fact23: その塙書房は理解し易くない ; $hypothesis$ = そのセキュリティホールはデコレーションするし使役する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのセキュリティホールはデコレーションしない; fact2 & assump1 -> int1: そのセキュリティホールは大工程でない; int1 & fact10 -> int2: あの感染率は大工程でないかもしくはがらんとしないかあるいはどちらもだ; fact14 & fact16 -> int3: あの感染率は理解し易くない; int3 & fact11 -> int4: 「あの感染率は大工程だということはないかがらんとしない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのセキュリティホールはデコレーションする; fact20 -> int7: もし仮に「そのセキュリティホールは極まり悪くない」ということは成り立つとしたら使役する; fact17 & fact18 -> int8: そのセキュリティホールは極まり悪くない; int7 & int8 -> int9: そのセキュリティホールは使役する; int6 & int9 -> hypothesis; __PROVED__
事実1: 「その経営方式は増員するがしかし食害しない」ということは事実でないならそれは増員しない
事実2: もしそのセキュリティホールがデコレーションするということはないとしたらそれは大工程でない
事実3: 仮にそのセキュリティホールが大工程でないならばあの感染率は大工程であるかそれはがらんとしない
事実4: もしそのセキュリティホールががらんとしないならばあの感染率はがらんとしないかまたはデコレーションしないか両方ともだ
事実5: あの茅渟は大人しないしそれに理解し易くない
事実6: 仮に「あの感染率は大工程でない」ということは確かならばそれは極まり悪くない
事実7: もしもそのセキュリティホールががらんとしないし大工程でないならばあの感染率は極まり悪くない
事実8: もし仮にあの感染率ががらんとしなくてそれに田舎っぽいということはないとすればあのセキュリティホールは大工程でない
事実9: 仮にあの第五十六軍が田舎っぽいとしたらあの茅渟は極まり悪くない
事実10: 仮にそのセキュリティホールが大工程でないならあの感染率は大工程だということはないかまたはがらんとしないかもしくは両方ともだ
事実11: もしあの感染率は理解し易くないとしたら「それは大工程でないかもしくはそれはがらんとしないかまたは両方ともである」ということは成り立たない
事実12: 「その経営方式は増員する一方でそれは食害しない」ということは誤っている
事実13: 仮になにがしかのものは極まり悪くないなら「「がらんとしなくてまたそれは理解し易くない」ということは誤りでない」ということは誤りである
事実14: ある物は戦災孤児でない
事実15: 「その経営方式は増員しない」ということは真実であるとすると「この第五式は捨て難いが戦災孤児でない」ということは間違っている
事実16: 仮に「戦災孤児でない」物があるとするとあの感染率は理解し易くない
事実17: あの茅渟が捨て難くないしそれにそれが田舎っぽくないとするとそのセキュリティホールは極まり悪くない
事実18: あの茅渟が捨て難くないしさらにそれは田舎っぽくない
事実19: 仮にあの茅渟が捨て難いがしかし田舎っぽいということはないとするとそのセキュリティホールは極まり悪くない
事実20: 極まり悪くないものは使役する
事実21: あの感染率は大工程である
事実22: もし「「捨て難いけれど戦災孤児でない」ということは事実と異なる」ものはあるとすれば「あの第五十六軍は田舎っぽい」ということは成り立つ
事実23: その塙書房は理解し易くない

仮説: そのセキュリティホールはデコレーションするし使役する
1. 仮定1: 以下のように仮定する。そのセキュリティホールはデコレーションしない
2. 事実2と仮定1から、推論1: "そのセキュリティホールは大工程でない"が導かれる
3. 推論1と事実10から、推論2: "あの感染率は大工程でないかもしくはがらんとしないかあるいはどちらもだ"が導かれる
4. 事実14と事実16から、推論3: "あの感染率は理解し易くない"が導かれる
5. 推論3と事実11から、推論4: "「あの感染率は大工程だということはないかがらんとしない」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのセキュリティホールはデコレーションする"が導かれる
8. 事実20から、推論7: "もし仮に「そのセキュリティホールは極まり悪くない」ということは成り立つとしたら使役する"が導かれる
9. 事実17と事実18から、推論8: "そのセキュリティホールは極まり悪くない"が導かれる
10. 推論7と推論8から、推論9: "そのセキュリティホールは使役する"が導かれる
11. 推論6と推論9から、仮説が導かれる

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