その油餅は英知でない
fact1: 「その油餅は生え易くないけれど御伺い致す」ということは偽だ fact2: もしこの自然災害は分け方だとすれば「その油餅は生え易くないし加えてそれは御伺い致さない」ということは正しくない fact3: もしこの沢ちゃんがあざとくないとするとこの自然災害はあざといしおまけにそれは自動生成する fact4: その油餅は看過し難くない fact5: もしも「この自然災害は分け方だ」ということは成り立つとしたら「その油餅は生え易いがそれは御伺い致すということはない」ということは偽だ fact6: この沢ちゃんは分け方でない fact7: 「もし仮にこの国家安全保障局が利点でないとするとこの沢ちゃんはあざとい」ということは成り立つ fact8: 「達成し易い」ものはある fact9: 「もしも達成し易くないものがあるとしたらこの国家安全保障局は利点でないかもしくはそれはがっちりしないかまたは両方だ」ということは成り立つ fact10: もしもこの国家安全保障局が利点でないならこの沢ちゃんはあざといということはない fact11: もしもこの自然災害が自動生成するとすれば分け方である fact12: この国家安全保障局ががっちりしないとしたらこの沢ちゃんはあざとくない fact13: もし「その油餅は生え易くないししかも御伺い致さない」ということは誤りであるとしたらそれは英知でない fact14: 達成し易くない物はある
fact14 & fact9 -> int1: この国家安全保障局は利点でないかあるいはがっちりしないかあるいはどちらもである; int1 & fact10 & fact12 -> int2: この沢ちゃんはあざとくない; int2 & fact3 -> int3: この自然災害はあざとくてまた自動生成する; int3 -> int4: 「この自然災害は自動生成する」ということは確かである; int4 & fact11 -> int5: この自然災害は分け方だ; int5 & fact2 -> int6: 「その油餅は生え易くないししかも御伺い致さない」ということは嘘だ; int6 & fact13 -> hypothesis;
$facts$ = fact1: 「その油餅は生え易くないけれど御伺い致す」ということは偽だ fact2: もしこの自然災害は分け方だとすれば「その油餅は生え易くないし加えてそれは御伺い致さない」ということは正しくない fact3: もしこの沢ちゃんがあざとくないとするとこの自然災害はあざといしおまけにそれは自動生成する fact4: その油餅は看過し難くない fact5: もしも「この自然災害は分け方だ」ということは成り立つとしたら「その油餅は生え易いがそれは御伺い致すということはない」ということは偽だ fact6: この沢ちゃんは分け方でない fact7: 「もし仮にこの国家安全保障局が利点でないとするとこの沢ちゃんはあざとい」ということは成り立つ fact8: 「達成し易い」ものはある fact9: 「もしも達成し易くないものがあるとしたらこの国家安全保障局は利点でないかもしくはそれはがっちりしないかまたは両方だ」ということは成り立つ fact10: もしもこの国家安全保障局が利点でないならこの沢ちゃんはあざといということはない fact11: もしもこの自然災害が自動生成するとすれば分け方である fact12: この国家安全保障局ががっちりしないとしたらこの沢ちゃんはあざとくない fact13: もし「その油餅は生え易くないししかも御伺い致さない」ということは誤りであるとしたらそれは英知でない fact14: 達成し易くない物はある ; $hypothesis$ = その油餅は英知でない ; $proof$ = 
fact14 & fact9 -> int1: この国家安全保障局は利点でないかあるいはがっちりしないかあるいはどちらもである; int1 & fact10 & fact12 -> int2: この沢ちゃんはあざとくない; int2 & fact3 -> int3: この自然災害はあざとくてまた自動生成する; int3 -> int4: 「この自然災害は自動生成する」ということは確かである; int4 & fact11 -> int5: この自然災害は分け方だ; int5 & fact2 -> int6: 「その油餅は生え易くないししかも御伺い致さない」ということは嘘だ; int6 & fact13 -> hypothesis; __PROVED__
事実1: 「その油餅は生え易くないけれど御伺い致す」ということは偽だ
事実2: もしこの自然災害は分け方だとすれば「その油餅は生え易くないし加えてそれは御伺い致さない」ということは正しくない
事実3: もしこの沢ちゃんがあざとくないとするとこの自然災害はあざといしおまけにそれは自動生成する
事実4: その油餅は看過し難くない
事実5: もしも「この自然災害は分け方だ」ということは成り立つとしたら「その油餅は生え易いがそれは御伺い致すということはない」ということは偽だ
事実6: この沢ちゃんは分け方でない
事実7: 「もし仮にこの国家安全保障局が利点でないとするとこの沢ちゃんはあざとい」ということは成り立つ
事実8: 「達成し易い」ものはある
事実9: 「もしも達成し易くないものがあるとしたらこの国家安全保障局は利点でないかもしくはそれはがっちりしないかまたは両方だ」ということは成り立つ
事実10: もしもこの国家安全保障局が利点でないならこの沢ちゃんはあざといということはない
事実11: もしもこの自然災害が自動生成するとすれば分け方である
事実12: この国家安全保障局ががっちりしないとしたらこの沢ちゃんはあざとくない
事実13: もし「その油餅は生え易くないししかも御伺い致さない」ということは誤りであるとしたらそれは英知でない
事実14: 達成し易くない物はある

仮説: その油餅は英知でない
1. 事実14と事実9から、推論1: "この国家安全保障局は利点でないかあるいはがっちりしないかあるいはどちらもである"が導かれる
2. 推論1と事実10と事実12から、推論2: "この沢ちゃんはあざとくない"が導かれる
3. 推論2と事実3から、推論3: "この自然災害はあざとくてまた自動生成する"が導かれる
4. 推論3から、推論4: "「この自然災害は自動生成する」ということは確かである"が導かれる
5. 推論4と事実11から、推論5: "この自然災害は分け方だ"が導かれる
6. 推論5と事実2から、推論6: "「その油餅は生え易くないししかも御伺い致さない」ということは嘘だ"が導かれる
7. 推論6と事実13から、仮説が導かれる

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