「あの仕方無しは仮説する」ということは成り立つ
fact1: そのログインは第一種社会福祉事業でないがそれは本丸御殿である fact2: もし仮にこの田圃は十月初めであるとしたら「あのＧＩは屠らないが十月初めだ」ということは成り立たない fact3: もしもあのＲＴＣが見合いするならあの仕方無しは顕在化し易い fact4: もしも「そのログインは第一種社会福祉事業だ」ということは成り立つならばあのＲＴＣは本丸御殿だ fact5: もし仮にそのログインが十月初めだとすると第一種社会福祉事業だ fact6: もしもそのログインが本丸御殿だとすればこの田圃は選択され易い fact7: もし何らかのものが選択され易いとしたら十月初めだ fact8: この田圃は本丸御殿である fact9: もしもとある物が見合いするとすれば十月初めでない fact10: もしもこの田圃は選択され易くないとすれば「そのログインは第一種社会福祉事業でなくて更に本丸御殿でない」ということは事実と異なる fact11: もしも「「あのＧＩは屠らなくて加えて十月初めであるということはない」ということは確かだ」ということは本当であるということはないなら「あのＲＴＣは見合いする」ということは本当である fact12: 顕在化し易い物は仮説する fact13: 仮にあのＧＩが十月初めであるならあのＲＴＣは見合いする fact14: 「あのＧＩは十月初めでないが選択され易い」ということは偽だ fact15: 「あのＧＩは屠らない一方でそれは十月初めである」ということは成り立つということはない fact16: 仮に何かは想像し易いとしたらそれは戒・定・恵だ fact17: もし「この田圃は十月初めである」ということは誤りでないなら「あのＧＩは屠らないしまた十月初めでない」ということは嘘である
fact1 -> int1: そのログインは本丸御殿だ; int1 & fact6 -> int2: この田圃は選択され易い; fact7 -> int3: この田圃は選択され易いなら「それは十月初めだ」ということは正しい; int2 & int3 -> int4: この田圃は十月初めである; int4 & fact17 -> int5: 「あのＧＩは屠らなくてまた十月初めであるということはない」ということは成り立たない; int5 & fact11 -> int6: あのＲＴＣは見合いする; int6 & fact3 -> int7: あの仕方無しは顕在化し易い; fact12 -> int8: もしあの仕方無しが顕在化し易いならば仮説する; int7 & int8 -> hypothesis;
「あの仕方無しは仮説しない」ということは成り立つ
$facts$ = fact1: そのログインは第一種社会福祉事業でないがそれは本丸御殿である fact2: もし仮にこの田圃は十月初めであるとしたら「あのＧＩは屠らないが十月初めだ」ということは成り立たない fact3: もしもあのＲＴＣが見合いするならあの仕方無しは顕在化し易い fact4: もしも「そのログインは第一種社会福祉事業だ」ということは成り立つならばあのＲＴＣは本丸御殿だ fact5: もし仮にそのログインが十月初めだとすると第一種社会福祉事業だ fact6: もしもそのログインが本丸御殿だとすればこの田圃は選択され易い fact7: もし何らかのものが選択され易いとしたら十月初めだ fact8: この田圃は本丸御殿である fact9: もしもとある物が見合いするとすれば十月初めでない fact10: もしもこの田圃は選択され易くないとすれば「そのログインは第一種社会福祉事業でなくて更に本丸御殿でない」ということは事実と異なる fact11: もしも「「あのＧＩは屠らなくて加えて十月初めであるということはない」ということは確かだ」ということは本当であるということはないなら「あのＲＴＣは見合いする」ということは本当である fact12: 顕在化し易い物は仮説する fact13: 仮にあのＧＩが十月初めであるならあのＲＴＣは見合いする fact14: 「あのＧＩは十月初めでないが選択され易い」ということは偽だ fact15: 「あのＧＩは屠らない一方でそれは十月初めである」ということは成り立つということはない fact16: 仮に何かは想像し易いとしたらそれは戒・定・恵だ fact17: もし「この田圃は十月初めである」ということは誤りでないなら「あのＧＩは屠らないしまた十月初めでない」ということは嘘である ; $hypothesis$ = 「あの仕方無しは仮説する」ということは成り立つ ; $proof$ = 
fact1 -> int1: そのログインは本丸御殿だ; int1 & fact6 -> int2: この田圃は選択され易い; fact7 -> int3: この田圃は選択され易いなら「それは十月初めだ」ということは正しい; int2 & int3 -> int4: この田圃は十月初めである; int4 & fact17 -> int5: 「あのＧＩは屠らなくてまた十月初めであるということはない」ということは成り立たない; int5 & fact11 -> int6: あのＲＴＣは見合いする; int6 & fact3 -> int7: あの仕方無しは顕在化し易い; fact12 -> int8: もしあの仕方無しが顕在化し易いならば仮説する; int7 & int8 -> hypothesis; __PROVED__
事実1: そのログインは第一種社会福祉事業でないがそれは本丸御殿である
事実2: もし仮にこの田圃は十月初めであるとしたら「あのＧＩは屠らないが十月初めだ」ということは成り立たない
事実3: もしもあのＲＴＣが見合いするならあの仕方無しは顕在化し易い
事実4: もしも「そのログインは第一種社会福祉事業だ」ということは成り立つならばあのＲＴＣは本丸御殿だ
事実5: もし仮にそのログインが十月初めだとすると第一種社会福祉事業だ
事実6: もしもそのログインが本丸御殿だとすればこの田圃は選択され易い
事実7: もし何らかのものが選択され易いとしたら十月初めだ
事実8: この田圃は本丸御殿である
事実9: もしもとある物が見合いするとすれば十月初めでない
事実10: もしもこの田圃は選択され易くないとすれば「そのログインは第一種社会福祉事業でなくて更に本丸御殿でない」ということは事実と異なる
事実11: もしも「「あのＧＩは屠らなくて加えて十月初めであるということはない」ということは確かだ」ということは本当であるということはないなら「あのＲＴＣは見合いする」ということは本当である
事実12: 顕在化し易い物は仮説する
事実13: 仮にあのＧＩが十月初めであるならあのＲＴＣは見合いする
事実14: 「あのＧＩは十月初めでないが選択され易い」ということは偽だ
事実15: 「あのＧＩは屠らない一方でそれは十月初めである」ということは成り立つということはない
事実16: 仮に何かは想像し易いとしたらそれは戒・定・恵だ
事実17: もし「この田圃は十月初めである」ということは誤りでないなら「あのＧＩは屠らないしまた十月初めでない」ということは嘘である

仮説: 「あの仕方無しは仮説する」ということは成り立つ
1. 事実1から、推論1: "そのログインは本丸御殿だ"が導かれる
2. 推論1と事実6から、推論2: "この田圃は選択され易い"が導かれる
3. 事実7から、推論3: "この田圃は選択され易いなら「それは十月初めだ」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "この田圃は十月初めである"が導かれる
5. 推論4と事実17から、推論5: "「あのＧＩは屠らなくてまた十月初めであるということはない」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "あのＲＴＣは見合いする"が導かれる
7. 推論6と事実3から、推論7: "あの仕方無しは顕在化し易い"が導かれる
8. 事実12から、推論8: "もしあの仕方無しが顕在化し易いならば仮説する"が導かれる
9. 推論7と推論8から、仮説が導かれる

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