あの寺歴はアプローチし易い
fact1: 「この雲水は職種毎であるしリバランシングだ」ということは本当でない fact2: もしもこの雲水は一般化しないなら「あの寺歴は初当選する一方で一般化しない」ということは成り立たない fact3: もしなんらかの物が先々でないとすれば摘み入れないかあるいはアプローチし易いかもしくは両方だ fact4: この雲水は職種毎でない fact5: この雲水は職種毎でないがリバランシングである fact6: もしも「この雲水は一般化する」ということは成り立つとすると「「それは職種毎でなくてリバランシングだ」ということは成り立つ」ということは成り立たない fact7: 仮にこの雲水は一般化するなら「それは職種毎であるしその上リバランシングである」ということは誤っている fact8: 「あの寺歴はアプローチし易いということはないがしかしそれはリバランシングである」ということは間違っている fact9: 「この雲水は一般化する」ということは成り立つとしたら「それは初当選しないしアプローチし易い」ということは成り立たない fact10: もしなにかは摘み入れるがしかしそれが先々だということはないとするとそれは初当選しない fact11: 仮にこの雲水は一般化しないとしたら「あの寺歴は初当選しなくてしかも一般化するということはない」ということは事実と異なる fact12: あの寺歴が初当選するとすればそれはアプローチし易くない fact13: もしも「とある物は一般化するけど初当選するということはない」ということは誤りであるとしたらそれは一般化しない fact14: もしも「あの寺歴は初当選しないし加えて一般化しない」ということは事実と異なるとするとそれはアプローチし易くない fact15: 全ては先々でない fact16: 「あの寺歴は初当選するけど一般化しない」ということは事実と異なる fact17: その寝食は損ぜない fact18: もし仮にその寝食が損ぜないとするとこの雲水は御訪ねるし送受信する
void -> assump1: 以下のように仮定する。この雲水は一般化する; fact6 & assump1 -> int1: 「この雲水は職種毎だということはないけれどリバランシングである」ということは成り立たない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この雲水は一般化しない; int3 & fact11 -> int4: 「「あの寺歴は初当選しないしまた一般化しない」ということは間違いだ」ということは成り立つ; int4 & fact14 -> hypothesis;
あの自形は一般化しない
fact20 -> int5: 「あの自形は一般化するがしかし初当選しない」ということは誤っているとしたらそれは一般化しない; fact19 -> int6: もしその寝食が先々でないとすると摘み入れないかアプローチし易い; fact21 -> int7: その寝食は先々でない; int6 & int7 -> int8: その寝食は摘み入れないかあるいはアプローチし易いかもしくはどちらもである; int8 -> int9: 何もかもは摘み入れないかあるいはアプローチし易いかまたは両方ともだ; int9 -> int10: あの寺歴は摘み入れないかもしくはアプローチし易いかあるいはどちらもである; int10 -> int11: 「摘み入れないかもしくはアプローチし易い」物はある;
$facts$ = fact1: 「この雲水は職種毎であるしリバランシングだ」ということは本当でない fact2: もしもこの雲水は一般化しないなら「あの寺歴は初当選する一方で一般化しない」ということは成り立たない fact3: もしなんらかの物が先々でないとすれば摘み入れないかあるいはアプローチし易いかもしくは両方だ fact4: この雲水は職種毎でない fact5: この雲水は職種毎でないがリバランシングである fact6: もしも「この雲水は一般化する」ということは成り立つとすると「「それは職種毎でなくてリバランシングだ」ということは成り立つ」ということは成り立たない fact7: 仮にこの雲水は一般化するなら「それは職種毎であるしその上リバランシングである」ということは誤っている fact8: 「あの寺歴はアプローチし易いということはないがしかしそれはリバランシングである」ということは間違っている fact9: 「この雲水は一般化する」ということは成り立つとしたら「それは初当選しないしアプローチし易い」ということは成り立たない fact10: もしなにかは摘み入れるがしかしそれが先々だということはないとするとそれは初当選しない fact11: 仮にこの雲水は一般化しないとしたら「あの寺歴は初当選しなくてしかも一般化するということはない」ということは事実と異なる fact12: あの寺歴が初当選するとすればそれはアプローチし易くない fact13: もしも「とある物は一般化するけど初当選するということはない」ということは誤りであるとしたらそれは一般化しない fact14: もしも「あの寺歴は初当選しないし加えて一般化しない」ということは事実と異なるとするとそれはアプローチし易くない fact15: 全ては先々でない fact16: 「あの寺歴は初当選するけど一般化しない」ということは事実と異なる fact17: その寝食は損ぜない fact18: もし仮にその寝食が損ぜないとするとこの雲水は御訪ねるし送受信する ; $hypothesis$ = あの寺歴はアプローチし易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この雲水は一般化する; fact6 & assump1 -> int1: 「この雲水は職種毎だということはないけれどリバランシングである」ということは成り立たない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この雲水は一般化しない; int3 & fact11 -> int4: 「「あの寺歴は初当選しないしまた一般化しない」ということは間違いだ」ということは成り立つ; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: 「この雲水は職種毎であるしリバランシングだ」ということは本当でない
事実2: もしもこの雲水は一般化しないなら「あの寺歴は初当選する一方で一般化しない」ということは成り立たない
事実3: もしなんらかの物が先々でないとすれば摘み入れないかあるいはアプローチし易いかもしくは両方だ
事実4: この雲水は職種毎でない
事実5: この雲水は職種毎でないがリバランシングである
事実6: もしも「この雲水は一般化する」ということは成り立つとすると「「それは職種毎でなくてリバランシングだ」ということは成り立つ」ということは成り立たない
事実7: 仮にこの雲水は一般化するなら「それは職種毎であるしその上リバランシングである」ということは誤っている
事実8: 「あの寺歴はアプローチし易いということはないがしかしそれはリバランシングである」ということは間違っている
事実9: 「この雲水は一般化する」ということは成り立つとしたら「それは初当選しないしアプローチし易い」ということは成り立たない
事実10: もしなにかは摘み入れるがしかしそれが先々だということはないとするとそれは初当選しない
事実11: 仮にこの雲水は一般化しないとしたら「あの寺歴は初当選しなくてしかも一般化するということはない」ということは事実と異なる
事実12: あの寺歴が初当選するとすればそれはアプローチし易くない
事実13: もしも「とある物は一般化するけど初当選するということはない」ということは誤りであるとしたらそれは一般化しない
事実14: もしも「あの寺歴は初当選しないし加えて一般化しない」ということは事実と異なるとするとそれはアプローチし易くない
事実15: 全ては先々でない
事実16: 「あの寺歴は初当選するけど一般化しない」ということは事実と異なる
事実17: その寝食は損ぜない
事実18: もし仮にその寝食が損ぜないとするとこの雲水は御訪ねるし送受信する

仮説: あの寺歴はアプローチし易い
1. 仮定1: 以下のように仮定する。この雲水は一般化する
2. 事実6と仮定1から、推論1: "「この雲水は職種毎だということはないけれどリバランシングである」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この雲水は一般化しない"が導かれる
5. 推論3と事実11から、推論4: "「「あの寺歴は初当選しないしまた一般化しない」ということは間違いだ」ということは成り立つ"が導かれる
6. 推論4と事実14から、仮説が否定される

よって、仮説が否定されました。