その外的刺激が生じ易いとするとそれは付け押さえである
fact1: もしその外的刺激が本支店別でないかあるいはそれは悶うかあるいは両方だとすれば痛め付ける fact2: もしあの危険性が自然説であるということはないがＢ系統だとしたらその華やぎはＢ系統である fact3: その外的刺激が悶うないかあるいは計らうかまたは両方ともであるとしたら「生じ易くない」ということは確かだ fact4: そのポストモダン状況は計らう fact5: 仮にその外的刺激が聡くないならそれは貯蔵しなくてそれは付け押さえである fact6: その金利変動リスクが主立たないとすればこの世間一般は相互広告しないししかも気取るということはない fact7: もしも「「信心しなくてまた悶う」ということは成り立つということはない」ものがあるとしたらそのＭちゃんはＡ級である fact8: 仮にとある物が突き回せばそれは自然説でなくてしかもそれはＢ系統だ fact9: なんらかのものは計らうとすれば「それは信心しないけれど悶う」ということは成り立たない fact10: もしもこの世間一般が相互広告しないならあのペプチド結合が汁だしまた真っ黒い fact11: 仮にその華やぎがＢ系統であるとするとその金利変動リスクは主立つということはないし若さ故でない fact12: 仮にあのペプチド結合が汁であるとすればあの義挙は発達し始めないかもしくはそれは漏出するかあるいは両方だ fact13: もしもある物が聡いなら悶うないかまたは計らうかあるいは両方ともだ fact14: Ａ級は注力するかもしくは壊れ易いということはないかどちらもである fact15: 仮にこの義挙が発達し始めないかもしくは漏出するか両方ならあの鷺はトリアージでない fact16: もし仮に「この心奇形は付け押さえだということはないけれど意地悪い」ということは間違っているとするとあの予算原則は付け押さえであるということはない fact17: もしもその外的刺激が悶うないとすればそれは生じ易くない fact18: もし仮にそのＭちゃんが注力するかあるいはそれが壊れ易くないかまたは両方ともならばあの危険性は突き回す fact19: 仮にとある物が生じ易くない一方で貯蔵すればこの棚スペースは聡くない fact20: もしあの鷺はトリアージだということはないならば「この心奇形は付け押さえでないけれど意地悪い」ということは嘘である fact21: もしあの予算原則が付け押さえでないなら生じ易くないししかもそれは貯蔵する fact22: もしあの破産等がじっとするならすっごーいということはないかまたは空々しいかあるいは両方だ
fact13 -> int1: 仮にその外的刺激が聡いならそれは悶うないかもしくはそれは計らうかまたは両方である; void -> assump1: 以下のように仮定する。その外的刺激は聡い; int1 & assump1 -> int2: その外的刺激は悶うないかもしくは計らうかまたは両方ともだ; int2 & fact3 -> int3: その外的刺激は生じ易くない; void -> assump2: 以下のように仮定する。その外的刺激は生じ易い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その外的刺激は聡くない; int5 & fact5 -> int6: その外的刺激は貯蔵しないけど付け押さえだ; int6 -> int7: その外的刺激は付け押さえである; [assump2] & int7 -> hypothesis;
この棚スペースは聡くない
fact31 -> int8: もしもあの危険性が突き回すとするとそれは自然説でなくてＢ系統だ; fact37 -> int9: もし「そのＭちゃんはＡ級である」ということは成り立つなら注力するかまたはそれは壊れ易くないかもしくは両方である; fact34 -> int10: 仮に「そのポストモダン状況は計らう」ということは成り立つとしたら「それは信心するということはなくて悶う」ということは成り立たない; int10 & fact29 -> int11: 「そのポストモダン状況は信心しないけど悶う」ということは真実でない; int11 -> int12: 「「信心しなくて加えて悶う」ということは嘘な」ものはある; int12 & fact35 -> int13: そのＭちゃんはＡ級だ; int9 & int13 -> int14: そのＭちゃんは注力するかまたは壊れ易くないかもしくはどちらもだ; fact24 & int14 -> int15: あの危険性は突き回す; int8 & int15 -> int16: あの危険性は自然説であるということはないけれどＢ系統だ; fact28 & int16 -> int17: その華やぎはＢ系統だ; fact33 & int17 -> int18: その金利変動リスクは主立たないしその上若さ故でない; int18 -> int19: その金利変動リスクは主立たない; fact25 & int19 -> int20: この世間一般が相互広告するということはないしさらに気取らない; int20 -> int21: この世間一般は相互広告しない; fact30 & int21 -> int22: あのペプチド結合は汁であるしその上それは真っ黒い; int22 -> int23: あのペプチド結合は汁だ; fact32 & int23 -> int24: この義挙は発達し始めないかあるいは漏出するかまたは両方ともである; fact38 & int24 -> int25: あの鷺はトリアージでない; fact26 & int25 -> int26: 「この心奇形は付け押さえでないがしかし意地悪い」ということは間違いだ; fact23 & int26 -> int27: あの予算原則は付け押さえでない; fact27 & int27 -> int28: あの予算原則は生じ易いということはないけれどそれは貯蔵する; int28 -> int29: 何らかの物は生じ易くないけれど貯蔵する; int29 & fact36 -> hypothesis;
$facts$ = fact1: もしその外的刺激が本支店別でないかあるいはそれは悶うかあるいは両方だとすれば痛め付ける fact2: もしあの危険性が自然説であるということはないがＢ系統だとしたらその華やぎはＢ系統である fact3: その外的刺激が悶うないかあるいは計らうかまたは両方ともであるとしたら「生じ易くない」ということは確かだ fact4: そのポストモダン状況は計らう fact5: 仮にその外的刺激が聡くないならそれは貯蔵しなくてそれは付け押さえである fact6: その金利変動リスクが主立たないとすればこの世間一般は相互広告しないししかも気取るということはない fact7: もしも「「信心しなくてまた悶う」ということは成り立つということはない」ものがあるとしたらそのＭちゃんはＡ級である fact8: 仮にとある物が突き回せばそれは自然説でなくてしかもそれはＢ系統だ fact9: なんらかのものは計らうとすれば「それは信心しないけれど悶う」ということは成り立たない fact10: もしもこの世間一般が相互広告しないならあのペプチド結合が汁だしまた真っ黒い fact11: 仮にその華やぎがＢ系統であるとするとその金利変動リスクは主立つということはないし若さ故でない fact12: 仮にあのペプチド結合が汁であるとすればあの義挙は発達し始めないかもしくはそれは漏出するかあるいは両方だ fact13: もしもある物が聡いなら悶うないかまたは計らうかあるいは両方ともだ fact14: Ａ級は注力するかもしくは壊れ易いということはないかどちらもである fact15: 仮にこの義挙が発達し始めないかもしくは漏出するか両方ならあの鷺はトリアージでない fact16: もし仮に「この心奇形は付け押さえだということはないけれど意地悪い」ということは間違っているとするとあの予算原則は付け押さえであるということはない fact17: もしもその外的刺激が悶うないとすればそれは生じ易くない fact18: もし仮にそのＭちゃんが注力するかあるいはそれが壊れ易くないかまたは両方ともならばあの危険性は突き回す fact19: 仮にとある物が生じ易くない一方で貯蔵すればこの棚スペースは聡くない fact20: もしあの鷺はトリアージだということはないならば「この心奇形は付け押さえでないけれど意地悪い」ということは嘘である fact21: もしあの予算原則が付け押さえでないなら生じ易くないししかもそれは貯蔵する fact22: もしあの破産等がじっとするならすっごーいということはないかまたは空々しいかあるいは両方だ ; $hypothesis$ = その外的刺激が生じ易いとするとそれは付け押さえである ; $proof$ = 
fact13 -> int1: 仮にその外的刺激が聡いならそれは悶うないかもしくはそれは計らうかまたは両方である; void -> assump1: 以下のように仮定する。その外的刺激は聡い; int1 & assump1 -> int2: その外的刺激は悶うないかもしくは計らうかまたは両方ともだ; int2 & fact3 -> int3: その外的刺激は生じ易くない; void -> assump2: 以下のように仮定する。その外的刺激は生じ易い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その外的刺激は聡くない; int5 & fact5 -> int6: その外的刺激は貯蔵しないけど付け押さえだ; int6 -> int7: その外的刺激は付け押さえである; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もしその外的刺激が本支店別でないかあるいはそれは悶うかあるいは両方だとすれば痛め付ける
事実2: もしあの危険性が自然説であるということはないがＢ系統だとしたらその華やぎはＢ系統である
事実3: その外的刺激が悶うないかあるいは計らうかまたは両方ともであるとしたら「生じ易くない」ということは確かだ
事実4: そのポストモダン状況は計らう
事実5: 仮にその外的刺激が聡くないならそれは貯蔵しなくてそれは付け押さえである
事実6: その金利変動リスクが主立たないとすればこの世間一般は相互広告しないししかも気取るということはない
事実7: もしも「「信心しなくてまた悶う」ということは成り立つということはない」ものがあるとしたらそのＭちゃんはＡ級である
事実8: 仮にとある物が突き回せばそれは自然説でなくてしかもそれはＢ系統だ
事実9: なんらかのものは計らうとすれば「それは信心しないけれど悶う」ということは成り立たない
事実10: もしもこの世間一般が相互広告しないならあのペプチド結合が汁だしまた真っ黒い
事実11: 仮にその華やぎがＢ系統であるとするとその金利変動リスクは主立つということはないし若さ故でない
事実12: 仮にあのペプチド結合が汁であるとすればあの義挙は発達し始めないかもしくはそれは漏出するかあるいは両方だ
事実13: もしもある物が聡いなら悶うないかまたは計らうかあるいは両方ともだ
事実14: Ａ級は注力するかもしくは壊れ易いということはないかどちらもである
事実15: 仮にこの義挙が発達し始めないかもしくは漏出するか両方ならあの鷺はトリアージでない
事実16: もし仮に「この心奇形は付け押さえだということはないけれど意地悪い」ということは間違っているとするとあの予算原則は付け押さえであるということはない
事実17: もしもその外的刺激が悶うないとすればそれは生じ易くない
事実18: もし仮にそのＭちゃんが注力するかあるいはそれが壊れ易くないかまたは両方ともならばあの危険性は突き回す
事実19: 仮にとある物が生じ易くない一方で貯蔵すればこの棚スペースは聡くない
事実20: もしあの鷺はトリアージだということはないならば「この心奇形は付け押さえでないけれど意地悪い」ということは嘘である
事実21: もしあの予算原則が付け押さえでないなら生じ易くないししかもそれは貯蔵する
事実22: もしあの破産等がじっとするならすっごーいということはないかまたは空々しいかあるいは両方だ

仮説: その外的刺激が生じ易いとするとそれは付け押さえである
1. 事実13から、推論1: "仮にその外的刺激が聡いならそれは悶うないかもしくはそれは計らうかまたは両方である"が導かれる
2. 仮定1: 以下のように仮定する。その外的刺激は聡い
3. 推論1と仮定1から、推論2: "その外的刺激は悶うないかもしくは計らうかまたは両方ともだ"が導かれる
4. 推論2と事実3から、推論3: "その外的刺激は生じ易くない"が導かれる
5. 仮定2: 以下のように仮定する。その外的刺激は生じ易い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その外的刺激は聡くない"が導かれる
8. 推論5と事実5から、推論6: "その外的刺激は貯蔵しないけど付け押さえだ"が導かれる
9. 推論6から、推論7: "その外的刺激は付け押さえである"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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