その五十七．周囲は読み込めない一方でそれは五綱だ
fact1: もしもその五十七．周囲が読み込めるとしたらあのＥＱは収穫する fact2: 「その五十七．周囲は読み込めるしその上五綱だ」ということは誤りである fact3: もしもあのＥＱは決意するなら「その五十七．周囲は読み込めないけれど五綱である」ということは正しいということはない fact4: もし「「ブランドらしいけれど当たり易くない」ということは事実と異なる」ものがあるとするとその五十七．周囲は収穫するということはない fact5: もしもあの次兄が作り易くないならばそれは当たり易いということはない fact6: 「もし仮にこのアクティビティが現われ易いとしたらあの次兄はブランドらしくないかあるいは作り易いということはない」ということは成り立つ fact7: 伴い易くないか緩くないか両方ともであるものは主管しない fact8: もしも何かはブランドらしいということはないとすればそれは当たり易くない fact9: もし仮になにがしかの物は決意しないなら「読み込めないしまたそれは五綱である」ということは成り立つということはない fact10: もしあのＥＱが収穫するとすればあの次兄は決意する fact11: なんらかの物が決意すればそれは当たり易い fact12: もしもこのアクティビティが採血針だとしたら現われ易い fact13: もしあの次兄はブランドらしくないならば「当たり易い」ということは成り立つ fact14: このアクティビティは採血針だ fact15: もし「あのＥＱは当たり易い」ということは真実であるなら「決意しないかまたは収穫しないかもしくは両方ともだ」ということは事実と異なる fact16: なにがしかの物が主管するということはないとすると現われ易いしその上採血針である fact17: その五十七．周囲は作り易い fact18: 仮にある物は現われ易いとすれば「それはブランドらしいししかも当たり易くない」ということは嘘だ fact19: もしもあの次兄は当たり易いならば「あのＥＱは決意する」ということは誤っているということはない fact20: もし仮に「その五十七．周囲は読み込めないがしかしそれは五綱だ」ということは誤っているとしたらあのＥＱは収穫する fact21: 仮に「収穫するということはない」物はあるとすると「その三分の一程度は決意するしまた作り易い」ということは誤っている fact22: 「「あのＥＱは決意しないかまたはそれは収穫しないかまたはどちらもだ」ということは成り立たない」ということは成り立つとすればその五十七．周囲は決意しない fact23: 「ブランドらしくない物は当たり易い」ということは真実だ fact24: その五十七．周囲は読み込めない
void -> assump1: 以下のように仮定する。「その五十七．周囲は読み込めないけれど五綱である」ということは成り立たない; fact20 & assump1 -> int1: あのＥＱは収穫する; int1 & fact10 -> int2: あの次兄は決意する; fact11 -> int3: もし仮にあの次兄が決意するならそれは当たり易い; int2 & int3 -> int4: あの次兄は当たり易い; fact12 & fact14 -> int5: このアクティビティは現われ易い; int5 & fact6 -> int6: あの次兄はブランドらしくないか作り易くないか両方ともだ; fact8 -> int7: もし仮にあの次兄がブランドらしくないとすれば当たり易くない; int6 & int7 & fact5 -> int8: あの次兄は当たり易くない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「その五十七．周囲は読み込めるということはないけれど五綱である」ということは成り立たない
fact25 -> int10: 仮にこのアクティビティが主管しないとしたらそれは現われ易いし更に採血針である; fact27 -> int11: このアクティビティが伴い易くないかあるいは緩いということはないかあるいは両方ともだとすればそれは主管しない;
$facts$ = fact1: もしもその五十七．周囲が読み込めるとしたらあのＥＱは収穫する fact2: 「その五十七．周囲は読み込めるしその上五綱だ」ということは誤りである fact3: もしもあのＥＱは決意するなら「その五十七．周囲は読み込めないけれど五綱である」ということは正しいということはない fact4: もし「「ブランドらしいけれど当たり易くない」ということは事実と異なる」ものがあるとするとその五十七．周囲は収穫するということはない fact5: もしもあの次兄が作り易くないならばそれは当たり易いということはない fact6: 「もし仮にこのアクティビティが現われ易いとしたらあの次兄はブランドらしくないかあるいは作り易いということはない」ということは成り立つ fact7: 伴い易くないか緩くないか両方ともであるものは主管しない fact8: もしも何かはブランドらしいということはないとすればそれは当たり易くない fact9: もし仮になにがしかの物は決意しないなら「読み込めないしまたそれは五綱である」ということは成り立つということはない fact10: もしあのＥＱが収穫するとすればあの次兄は決意する fact11: なんらかの物が決意すればそれは当たり易い fact12: もしもこのアクティビティが採血針だとしたら現われ易い fact13: もしあの次兄はブランドらしくないならば「当たり易い」ということは成り立つ fact14: このアクティビティは採血針だ fact15: もし「あのＥＱは当たり易い」ということは真実であるなら「決意しないかまたは収穫しないかもしくは両方ともだ」ということは事実と異なる fact16: なにがしかの物が主管するということはないとすると現われ易いしその上採血針である fact17: その五十七．周囲は作り易い fact18: 仮にある物は現われ易いとすれば「それはブランドらしいししかも当たり易くない」ということは嘘だ fact19: もしもあの次兄は当たり易いならば「あのＥＱは決意する」ということは誤っているということはない fact20: もし仮に「その五十七．周囲は読み込めないがしかしそれは五綱だ」ということは誤っているとしたらあのＥＱは収穫する fact21: 仮に「収穫するということはない」物はあるとすると「その三分の一程度は決意するしまた作り易い」ということは誤っている fact22: 「「あのＥＱは決意しないかまたはそれは収穫しないかまたはどちらもだ」ということは成り立たない」ということは成り立つとすればその五十七．周囲は決意しない fact23: 「ブランドらしくない物は当たり易い」ということは真実だ fact24: その五十七．周囲は読み込めない ; $hypothesis$ = その五十七．周囲は読み込めない一方でそれは五綱だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その五十七．周囲は読み込めないけれど五綱である」ということは成り立たない; fact20 & assump1 -> int1: あのＥＱは収穫する; int1 & fact10 -> int2: あの次兄は決意する; fact11 -> int3: もし仮にあの次兄が決意するならそれは当たり易い; int2 & int3 -> int4: あの次兄は当たり易い; fact12 & fact14 -> int5: このアクティビティは現われ易い; int5 & fact6 -> int6: あの次兄はブランドらしくないか作り易くないか両方ともだ; fact8 -> int7: もし仮にあの次兄がブランドらしくないとすれば当たり易くない; int6 & int7 & fact5 -> int8: あの次兄は当たり易くない; int4 & int8 -> int9: これは矛盾である; [assump1] & 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: 「ブランドらしくない物は当たり易い」ということは真実だ
事実24: その五十七．周囲は読み込めない

仮説: その五十七．周囲は読み込めない一方でそれは五綱だ
1. 仮定1: 以下のように仮定する。「その五十七．周囲は読み込めないけれど五綱である」ということは成り立たない
2. 事実20と仮定1から、推論1: "あのＥＱは収穫する"が導かれる
3. 推論1と事実10から、推論2: "あの次兄は決意する"が導かれる
4. 事実11から、推論3: "もし仮にあの次兄が決意するならそれは当たり易い"が導かれる
5. 推論2と推論3から、推論4: "あの次兄は当たり易い"が導かれる
6. 事実12と事実14から、推論5: "このアクティビティは現われ易い"が導かれる
7. 推論5と事実6から、推論6: "あの次兄はブランドらしくないか作り易くないか両方ともだ"が導かれる
8. 事実8から、推論7: "もし仮にあの次兄がブランドらしくないとすれば当たり易くない"が導かれる
9. 推論6と推論7と事実5から、推論8: "あの次兄は当たり易くない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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