あの怒は予測し難い
fact1: 仮に痛々しいものは消化し易くないとすればそれは予測し難くない fact2: もしもこの切り餅が狙い易くないならばあのＥＭＣは長距離秩序であるし集落数である fact3: もし仮に「なんらかの物は狙い易くないがしかし長距離秩序だ」ということは誤りならば「痛々しい」ということは事実だ fact4: 痛々しい物は消化し易くないものでさらに集落数でない fact5: 仮にとある物が長距離秩序でないとすれば消化し易くてかつそれは狙い易い fact6: 増え難くない物は頓着する fact7: 「そのＥＭＣは消化し易くて加えて狙い易い」ということは本当だとすると「あの怒は消化し易くない」ということは本当だ fact8: 仮に「何かは予測し難くないがしかし長距離秩序である」ということは成り立たないとするとそれは集落数だ fact9: もし「この切り餅は引っ掴まないか長距離秩序であるかあるいはどちらもだ」ということは事実と異なるとするとそのＥＭＣは長距離秩序でない fact10: 「糖濃度はインスリン非依存型糖尿病だということはないし更に自分らしくない」ということは成り立つ fact11: もし仮に何らかの物は引っ掴まないなら「この切り餅は狙い易くないが長距離秩序である」ということは本当でない fact12: もし仮にそのＥＭＣは集落数であるとすれば「この切り餅は消化し易くないしかつそれは集落数でない」ということは成り立たない fact13: なんらかの物は引っ掴まない fact14: もしもこの切り餅は新作映画であるとすると最大流速である fact15: もし仮にあの怒が予測し難いということはないとしたらそのＥＭＣは学習感想だししかも集落数である fact16: もしもなんらかの物は最大流速だとすれば「それは引っ掴むということはないかあるいは長距離秩序であるかもしくはどちらもだ」ということは成り立たない
void -> assump1: 以下のように仮定する。あの怒は予測し難くない; fact15 & assump1 -> int1: そのＥＭＣが学習感想だしさらにそれは集落数である; int1 -> int2: そのＥＭＣは集落数だ; int2 & fact12 -> int3: 「この切り餅は消化し易くないしさらに集落数でない」ということは成り立たない; fact4 -> int4: もしこの切り餅が痛々しいとすると消化し易くないしかつそれは集落数でない; fact13 & fact11 -> int5: 「この切り餅は狙い易くないけれど長距離秩序である」ということは成り立つということはない; fact3 -> int6: 仮に「この切り餅は狙い易くないがしかし長距離秩序である」ということは嘘であるとすればそれは痛々しい; int5 & int6 -> int7: この切り餅は痛々しい; int4 & int7 -> int8: この切り餅は消化し易くないしさらにそれは集落数でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの怒は予測し難くない
fact20 -> int10: あの怒が痛々しいけれど消化し易くないならばそれは予測し難くない; fact17 -> int11: 仮にそのＥＭＣが長距離秩序でないとすると消化し易くてそれは狙い易い; fact18 -> int12: もしも「この切り餅は最大流速だ」ということは真実だとすると「引っ掴まないかもしくは長距離秩序であるかもしくはどちらもだ」ということは成り立たない;
$facts$ = fact1: 仮に痛々しいものは消化し易くないとすればそれは予測し難くない fact2: もしもこの切り餅が狙い易くないならばあのＥＭＣは長距離秩序であるし集落数である fact3: もし仮に「なんらかの物は狙い易くないがしかし長距離秩序だ」ということは誤りならば「痛々しい」ということは事実だ fact4: 痛々しい物は消化し易くないものでさらに集落数でない fact5: 仮にとある物が長距離秩序でないとすれば消化し易くてかつそれは狙い易い fact6: 増え難くない物は頓着する fact7: 「そのＥＭＣは消化し易くて加えて狙い易い」ということは本当だとすると「あの怒は消化し易くない」ということは本当だ fact8: 仮に「何かは予測し難くないがしかし長距離秩序である」ということは成り立たないとするとそれは集落数だ fact9: もし「この切り餅は引っ掴まないか長距離秩序であるかあるいはどちらもだ」ということは事実と異なるとするとそのＥＭＣは長距離秩序でない fact10: 「糖濃度はインスリン非依存型糖尿病だということはないし更に自分らしくない」ということは成り立つ fact11: もし仮に何らかの物は引っ掴まないなら「この切り餅は狙い易くないが長距離秩序である」ということは本当でない fact12: もし仮にそのＥＭＣは集落数であるとすれば「この切り餅は消化し易くないしかつそれは集落数でない」ということは成り立たない fact13: なんらかの物は引っ掴まない fact14: もしもこの切り餅は新作映画であるとすると最大流速である fact15: もし仮にあの怒が予測し難いということはないとしたらそのＥＭＣは学習感想だししかも集落数である fact16: もしもなんらかの物は最大流速だとすれば「それは引っ掴むということはないかあるいは長距離秩序であるかもしくはどちらもだ」ということは成り立たない ; $hypothesis$ = あの怒は予測し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの怒は予測し難くない; fact15 & assump1 -> int1: そのＥＭＣが学習感想だしさらにそれは集落数である; int1 -> int2: そのＥＭＣは集落数だ; int2 & fact12 -> int3: 「この切り餅は消化し易くないしさらに集落数でない」ということは成り立たない; fact4 -> int4: もしこの切り餅が痛々しいとすると消化し易くないしかつそれは集落数でない; fact13 & fact11 -> int5: 「この切り餅は狙い易くないけれど長距離秩序である」ということは成り立つということはない; fact3 -> int6: 仮に「この切り餅は狙い易くないがしかし長距離秩序である」ということは嘘であるとすればそれは痛々しい; int5 & int6 -> int7: この切り餅は痛々しい; int4 & int7 -> int8: この切り餅は消化し易くないしさらにそれは集落数でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮に痛々しいものは消化し易くないとすればそれは予測し難くない
事実2: もしもこの切り餅が狙い易くないならばあのＥＭＣは長距離秩序であるし集落数である
事実3: もし仮に「なんらかの物は狙い易くないがしかし長距離秩序だ」ということは誤りならば「痛々しい」ということは事実だ
事実4: 痛々しい物は消化し易くないものでさらに集落数でない
事実5: 仮にとある物が長距離秩序でないとすれば消化し易くてかつそれは狙い易い
事実6: 増え難くない物は頓着する
事実7: 「そのＥＭＣは消化し易くて加えて狙い易い」ということは本当だとすると「あの怒は消化し易くない」ということは本当だ
事実8: 仮に「何かは予測し難くないがしかし長距離秩序である」ということは成り立たないとするとそれは集落数だ
事実9: もし「この切り餅は引っ掴まないか長距離秩序であるかあるいはどちらもだ」ということは事実と異なるとするとそのＥＭＣは長距離秩序でない
事実10: 「糖濃度はインスリン非依存型糖尿病だということはないし更に自分らしくない」ということは成り立つ
事実11: もし仮に何らかの物は引っ掴まないなら「この切り餅は狙い易くないが長距離秩序である」ということは本当でない
事実12: もし仮にそのＥＭＣは集落数であるとすれば「この切り餅は消化し易くないしかつそれは集落数でない」ということは成り立たない
事実13: なんらかの物は引っ掴まない
事実14: もしもこの切り餅は新作映画であるとすると最大流速である
事実15: もし仮にあの怒が予測し難いということはないとしたらそのＥＭＣは学習感想だししかも集落数である
事実16: もしもなんらかの物は最大流速だとすれば「それは引っ掴むということはないかあるいは長距離秩序であるかもしくはどちらもだ」ということは成り立たない

仮説: あの怒は予測し難い
1. 仮定1: 以下のように仮定する。あの怒は予測し難くない
2. 事実15と仮定1から、推論1: "そのＥＭＣが学習感想だしさらにそれは集落数である"が導かれる
3. 推論1から、推論2: "そのＥＭＣは集落数だ"が導かれる
4. 推論2と事実12から、推論3: "「この切り餅は消化し易くないしさらに集落数でない」ということは成り立たない"が導かれる
5. 事実4から、推論4: "もしこの切り餅が痛々しいとすると消化し易くないしかつそれは集落数でない"が導かれる
6. 事実13と事実11から、推論5: "「この切り餅は狙い易くないけれど長距離秩序である」ということは成り立つということはない"が導かれる
7. 事実3から、推論6: "仮に「この切り餅は狙い易くないがしかし長距離秩序である」ということは嘘であるとすればそれは痛々しい"が導かれる
8. 推論5と推論6から、推論7: "この切り餅は痛々しい"が導かれる
9. 推論4と推論7から、推論8: "この切り餅は消化し易くないしさらにそれは集落数でない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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