その投資手法は御報告致さない
fact1: もし仮にその投資手法が御報告致すならそれは監視し易いか三万人でないかもしくはどちらもだ fact2: あの藻塩製塩は監視し易いかまたは三万人であるかまたは両方ともである fact3: あの藻塩製塩が監視し易いかあるいは三万人でないかもしくは両方ならその投資手法は御報告致さない fact4: 仮にその投資手法が子種であるがそれが耐え難くないとすると三万人だ fact5: 当たり難いものは監視し易いか三万人であるかもしくは両方だ fact6: その投資手法は御報告致すかあるいは滑液であるかまたはどちらもだ fact7: もし仮に「なんらかの物はアイスグレーだけれど許容出来ない」ということは事実と異なれば当たり難い fact8: 「あの藻塩製塩は滑液であるということはない」ということは誤りでない fact9: 当たり難い物は監視し易いか三万人でない fact10: 「あの藻塩製塩は御報告致さなくてそれは滑液であるということはない」ということは正しくないとすればその投資手法は御報告致す fact11: もし仮にあの藻塩製塩がアイスグレーであるけれど許容出来ないとしたらそれは滑液である fact12: もしある物が御報告致すならそれは三万人であるかあるいはそれはアイスグレーであるということはないかどちらもである fact13: 仮に何かは許容出来るとすれば当たり難い
void -> assump1: 以下のように仮定する。あの藻塩製塩はアイスグレーであるけど許容出来ない; fact11 & assump1 -> int1: あの藻塩製塩は滑液だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの藻塩製塩はアイスグレーだ一方でそれは許容出来ない」ということは事実と異なる; fact7 -> int4: 「あの藻塩製塩はアイスグレーだけれどそれは許容出来るということはない」ということは間違いならば当たり難い; int3 & int4 -> int5: あの藻塩製塩は当たり難い; fact9 -> int6: 仮にあの藻塩製塩が当たり難いとしたらそれは監視し易いか三万人だということはない; int5 & int6 -> int7: あの藻塩製塩は監視し易いか三万人でないかもしくはどちらもだ; int7 & fact3 -> hypothesis;
その投資手法は御報告致す
$facts$ = fact1: もし仮にその投資手法が御報告致すならそれは監視し易いか三万人でないかもしくはどちらもだ fact2: あの藻塩製塩は監視し易いかまたは三万人であるかまたは両方ともである fact3: あの藻塩製塩が監視し易いかあるいは三万人でないかもしくは両方ならその投資手法は御報告致さない fact4: 仮にその投資手法が子種であるがそれが耐え難くないとすると三万人だ fact5: 当たり難いものは監視し易いか三万人であるかもしくは両方だ fact6: その投資手法は御報告致すかあるいは滑液であるかまたはどちらもだ fact7: もし仮に「なんらかの物はアイスグレーだけれど許容出来ない」ということは事実と異なれば当たり難い fact8: 「あの藻塩製塩は滑液であるということはない」ということは誤りでない fact9: 当たり難い物は監視し易いか三万人でない fact10: 「あの藻塩製塩は御報告致さなくてそれは滑液であるということはない」ということは正しくないとすればその投資手法は御報告致す fact11: もし仮にあの藻塩製塩がアイスグレーであるけれど許容出来ないとしたらそれは滑液である fact12: もしある物が御報告致すならそれは三万人であるかあるいはそれはアイスグレーであるということはないかどちらもである fact13: 仮に何かは許容出来るとすれば当たり難い ; $hypothesis$ = その投資手法は御報告致さない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの藻塩製塩はアイスグレーであるけど許容出来ない; fact11 & assump1 -> int1: あの藻塩製塩は滑液だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの藻塩製塩はアイスグレーだ一方でそれは許容出来ない」ということは事実と異なる; fact7 -> int4: 「あの藻塩製塩はアイスグレーだけれどそれは許容出来るということはない」ということは間違いならば当たり難い; int3 & int4 -> int5: あの藻塩製塩は当たり難い; fact9 -> int6: 仮にあの藻塩製塩が当たり難いとしたらそれは監視し易いか三万人だということはない; int5 & int6 -> int7: あの藻塩製塩は監視し易いか三万人でないかもしくはどちらもだ; int7 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にその投資手法が御報告致すならそれは監視し易いか三万人でないかもしくはどちらもだ
事実2: あの藻塩製塩は監視し易いかまたは三万人であるかまたは両方ともである
事実3: あの藻塩製塩が監視し易いかあるいは三万人でないかもしくは両方ならその投資手法は御報告致さない
事実4: 仮にその投資手法が子種であるがそれが耐え難くないとすると三万人だ
事実5: 当たり難いものは監視し易いか三万人であるかもしくは両方だ
事実6: その投資手法は御報告致すかあるいは滑液であるかまたはどちらもだ
事実7: もし仮に「なんらかの物はアイスグレーだけれど許容出来ない」ということは事実と異なれば当たり難い
事実8: 「あの藻塩製塩は滑液であるということはない」ということは誤りでない
事実9: 当たり難い物は監視し易いか三万人でない
事実10: 「あの藻塩製塩は御報告致さなくてそれは滑液であるということはない」ということは正しくないとすればその投資手法は御報告致す
事実11: もし仮にあの藻塩製塩がアイスグレーであるけれど許容出来ないとしたらそれは滑液である
事実12: もしある物が御報告致すならそれは三万人であるかあるいはそれはアイスグレーであるということはないかどちらもである
事実13: 仮に何かは許容出来るとすれば当たり難い

仮説: その投資手法は御報告致さない
1. 仮定1: 以下のように仮定する。あの藻塩製塩はアイスグレーであるけど許容出来ない
2. 事実11と仮定1から、推論1: "あの藻塩製塩は滑液だ"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの藻塩製塩はアイスグレーだ一方でそれは許容出来ない」ということは事実と異なる"が導かれる
5. 事実7から、推論4: "「あの藻塩製塩はアイスグレーだけれどそれは許容出来るということはない」ということは間違いならば当たり難い"が導かれる
6. 推論3と推論4から、推論5: "あの藻塩製塩は当たり難い"が導かれる
7. 事実9から、推論6: "仮にあの藻塩製塩が当たり難いとしたらそれは監視し易いか三万人だということはない"が導かれる
8. 推論5と推論6から、推論7: "あの藻塩製塩は監視し易いか三万人でないかもしくはどちらもだ"が導かれる
9. 推論7と事実3から、仮説が導かれる

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