そのイエットはばらつかない一方で近い
fact1: この学校格差は受け易いししかも戻し易い fact2: もし仮に「その種族は御連絡する一方で勉強出来ない」ということは成り立たないとしたらそれはむさくない fact3: この当て方が上方であるならばそのイエットは副腎皮質だ fact4: もし「受け易いかまたはむさい」ものがあるとしたらこの当て方は副腎皮質でない fact5: もしもこの学校格差が上方だとすればあのイエットは上方だ fact6: もしもその種族はむさくないとすれば「され易くないし近くない」ということは本当だ fact7: 仮に「そのイエットは御連絡する一方で軽減出来るということはない」ということは成り立たないとすればあの当て方は御連絡する fact8: 仮にその種族がされ易くないし加えて近くないならそのイエットは近い fact9: この当て方は軽減出来るしそれは上方だ fact10: もしも何かは上方であるとすれば「御連絡するし軽減出来ない」ということは事実でない fact11: もしも「副腎皮質であるしばらつく」物があるならこの学校格差は受け易くない fact12: なんらかのものは軽減出来るとすれば「それはばらつかないけれど近い」ということは誤りである fact13: もし仮にこの当て方が御連絡するとすればあの薄緑色は御連絡する fact14: 「その種族は御連絡するがしかし勉強出来ない」ということは間違いだ fact15: この当て方はばらつく fact16: この学校格差はむさい
fact9 -> int1: この当て方は上方だ; int1 & fact3 -> int2: そのイエットは副腎皮質だ; void -> assump1: 以下のように仮定する。そのイエットはばらつく; int2 & assump1 -> int3: そのイエットは副腎皮質だしかつばらつく; int3 -> int4: 何らかのものは副腎皮質であるしそれはばらつく; int4 & fact11 -> int5: この学校格差は受け易くない; fact1 -> int6: この学校格差は受け易い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのイエットはばらつかない; fact2 & fact14 -> int9: その種族はむさくない; int9 & fact6 -> int10: その種族はされ易くないし近くない; fact8 & int10 -> int11: そのイエットは近い; int8 & int11 -> hypothesis;
その薄緑色は御連絡する
fact20 -> int12: もしそのイエットは上方なら「御連絡するけれど軽減出来ない」ということは間違いである;
$facts$ = fact1: この学校格差は受け易いししかも戻し易い fact2: もし仮に「その種族は御連絡する一方で勉強出来ない」ということは成り立たないとしたらそれはむさくない fact3: この当て方が上方であるならばそのイエットは副腎皮質だ fact4: もし「受け易いかまたはむさい」ものがあるとしたらこの当て方は副腎皮質でない fact5: もしもこの学校格差が上方だとすればあのイエットは上方だ fact6: もしもその種族はむさくないとすれば「され易くないし近くない」ということは本当だ fact7: 仮に「そのイエットは御連絡する一方で軽減出来るということはない」ということは成り立たないとすればあの当て方は御連絡する fact8: 仮にその種族がされ易くないし加えて近くないならそのイエットは近い fact9: この当て方は軽減出来るしそれは上方だ fact10: もしも何かは上方であるとすれば「御連絡するし軽減出来ない」ということは事実でない fact11: もしも「副腎皮質であるしばらつく」物があるならこの学校格差は受け易くない fact12: なんらかのものは軽減出来るとすれば「それはばらつかないけれど近い」ということは誤りである fact13: もし仮にこの当て方が御連絡するとすればあの薄緑色は御連絡する fact14: 「その種族は御連絡するがしかし勉強出来ない」ということは間違いだ fact15: この当て方はばらつく fact16: この学校格差はむさい ; $hypothesis$ = そのイエットはばらつかない一方で近い ; $proof$ = 
fact9 -> int1: この当て方は上方だ; int1 & fact3 -> int2: そのイエットは副腎皮質だ; void -> assump1: 以下のように仮定する。そのイエットはばらつく; int2 & assump1 -> int3: そのイエットは副腎皮質だしかつばらつく; int3 -> int4: 何らかのものは副腎皮質であるしそれはばらつく; int4 & fact11 -> int5: この学校格差は受け易くない; fact1 -> int6: この学校格差は受け易い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのイエットはばらつかない; fact2 & fact14 -> int9: その種族はむさくない; int9 & fact6 -> int10: その種族はされ易くないし近くない; fact8 & int10 -> int11: そのイエットは近い; int8 & int11 -> hypothesis; __PROVED__
事実1: この学校格差は受け易いししかも戻し易い
事実2: もし仮に「その種族は御連絡する一方で勉強出来ない」ということは成り立たないとしたらそれはむさくない
事実3: この当て方が上方であるならばそのイエットは副腎皮質だ
事実4: もし「受け易いかまたはむさい」ものがあるとしたらこの当て方は副腎皮質でない
事実5: もしもこの学校格差が上方だとすればあのイエットは上方だ
事実6: もしもその種族はむさくないとすれば「され易くないし近くない」ということは本当だ
事実7: 仮に「そのイエットは御連絡する一方で軽減出来るということはない」ということは成り立たないとすればあの当て方は御連絡する
事実8: 仮にその種族がされ易くないし加えて近くないならそのイエットは近い
事実9: この当て方は軽減出来るしそれは上方だ
事実10: もしも何かは上方であるとすれば「御連絡するし軽減出来ない」ということは事実でない
事実11: もしも「副腎皮質であるしばらつく」物があるならこの学校格差は受け易くない
事実12: なんらかのものは軽減出来るとすれば「それはばらつかないけれど近い」ということは誤りである
事実13: もし仮にこの当て方が御連絡するとすればあの薄緑色は御連絡する
事実14: 「その種族は御連絡するがしかし勉強出来ない」ということは間違いだ
事実15: この当て方はばらつく
事実16: この学校格差はむさい

仮説: そのイエットはばらつかない一方で近い
1. 事実9から、推論1: "この当て方は上方だ"が導かれる
2. 推論1と事実3から、推論2: "そのイエットは副腎皮質だ"が導かれる
3. 仮定1: 以下のように仮定する。そのイエットはばらつく
4. 推論2と仮定1から、推論3: "そのイエットは副腎皮質だしかつばらつく"が導かれる
5. 推論3から、推論4: "何らかのものは副腎皮質であるしそれはばらつく"が導かれる
6. 推論4と事実11から、推論5: "この学校格差は受け易くない"が導かれる
7. 事実1から、推論6: "この学校格差は受け易い"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "そのイエットはばらつかない"が導かれる
10. 事実2と事実14から、推論9: "その種族はむさくない"が導かれる
11. 推論9と事実6から、推論10: "その種族はされ易くないし近くない"が導かれる
12. 事実8と推論10から、推論11: "そのイエットは近い"が導かれる
13. 推論8と推論11から、仮説が導かれる

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