あの禅定札は狂おしい
fact1: あの禅定札は御持ちに成らない fact2: あの禅定札は辛気臭くない fact3: もしも「とある物は卑しい」ということは成り立つなら狂おしい fact4: もし仮にその一般的対策が脳全体であるとすればあの一上肢は御持ちに成らない fact5: 脳全体は御持ちに成る fact6: その一般的対策が本盾村でないならばあの禅定札は卑しいし更に筆写する fact7: 仮にこの一上肢は新学年でないとすると「それは惨めったらしい」ということは確かである fact8: 仮にその一般的対策が馴れ馴れしいしさらにそれが御持ちに成るとすればあの自動車工場は脳全体でない fact9: その一般的対策が本盾村でないとするとあの禅定札は筆写する fact10: 脳全体は新学年だ fact11: あの禅定札は筆写する fact12: もし仮に何らかのものは惨めったらしくないなら「卑しい一方で御持ちに成らない」ということは間違っている fact13: その一般的対策は狂おしい fact14: もしもその一般的対策が狂おしいなら馴れ馴れしい fact15: もし仮に「この一上肢は卑しいがしかし御持ちに成るということはない」ということは偽であるならその一般的対策は御持ちに成る fact16: 仮にあの禅定札は辛気臭いということはないとすると「すばしこくて新学年である」ということは事実でない fact17: 仮にその一般的対策が本盾村であるかまたはそれが脳全体ならこの一上肢は御持ちに成らない fact18: この一上肢は惨めったらしい fact19: もし仮にこの一上肢が新学年でないとすれば馴れ馴れしくて惨めったらしい fact20: もし何らかのものが御持ちに成らないとすれば馴れ馴れしくない fact21: この一上肢は新学年でない fact22: 仮に「脳全体な」物はあれば「その一般的対策は本盾村であるし更に御持ちに成る」ということは偽だ
void -> assump1: 以下のように仮定する。その一般的対策は本盾村である; assump1 -> int1: その一般的対策は本盾村であるかあるいは脳全体である; int1 & fact17 -> int2: この一上肢は御持ちに成らない; fact20 -> int3: もし仮にこの一上肢が御持ちに成らないとしたら馴れ馴れしくない; int2 & int3 -> int4: 「この一上肢は馴れ馴れしくない」ということは成り立つ; fact21 & fact19 -> int5: この一上肢は馴れ馴れしくてそれにそれは惨めったらしい; int5 -> int6: この一上肢は馴れ馴れしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その一般的対策は本盾村でない; int8 & fact6 -> int9: あの禅定札は卑しいし更に筆写する; int9 -> int10: 「あの禅定札は卑しい」ということは成り立つ; fact3 -> int11: もしも「あの禅定札は卑しい」ということは成り立てば狂おしい; int10 & int11 -> hypothesis;
あの禅定札は狂おしくない
$facts$ = fact1: あの禅定札は御持ちに成らない fact2: あの禅定札は辛気臭くない fact3: もしも「とある物は卑しい」ということは成り立つなら狂おしい fact4: もし仮にその一般的対策が脳全体であるとすればあの一上肢は御持ちに成らない fact5: 脳全体は御持ちに成る fact6: その一般的対策が本盾村でないならばあの禅定札は卑しいし更に筆写する fact7: 仮にこの一上肢は新学年でないとすると「それは惨めったらしい」ということは確かである fact8: 仮にその一般的対策が馴れ馴れしいしさらにそれが御持ちに成るとすればあの自動車工場は脳全体でない fact9: その一般的対策が本盾村でないとするとあの禅定札は筆写する fact10: 脳全体は新学年だ fact11: あの禅定札は筆写する fact12: もし仮に何らかのものは惨めったらしくないなら「卑しい一方で御持ちに成らない」ということは間違っている fact13: その一般的対策は狂おしい fact14: もしもその一般的対策が狂おしいなら馴れ馴れしい fact15: もし仮に「この一上肢は卑しいがしかし御持ちに成るということはない」ということは偽であるならその一般的対策は御持ちに成る fact16: 仮にあの禅定札は辛気臭いということはないとすると「すばしこくて新学年である」ということは事実でない fact17: 仮にその一般的対策が本盾村であるかまたはそれが脳全体ならこの一上肢は御持ちに成らない fact18: この一上肢は惨めったらしい fact19: もし仮にこの一上肢が新学年でないとすれば馴れ馴れしくて惨めったらしい fact20: もし何らかのものが御持ちに成らないとすれば馴れ馴れしくない fact21: この一上肢は新学年でない fact22: 仮に「脳全体な」物はあれば「その一般的対策は本盾村であるし更に御持ちに成る」ということは偽だ ; $hypothesis$ = あの禅定札は狂おしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その一般的対策は本盾村である; assump1 -> int1: その一般的対策は本盾村であるかあるいは脳全体である; int1 & fact17 -> int2: この一上肢は御持ちに成らない; fact20 -> int3: もし仮にこの一上肢が御持ちに成らないとしたら馴れ馴れしくない; int2 & int3 -> int4: 「この一上肢は馴れ馴れしくない」ということは成り立つ; fact21 & fact19 -> int5: この一上肢は馴れ馴れしくてそれにそれは惨めったらしい; int5 -> int6: この一上肢は馴れ馴れしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その一般的対策は本盾村でない; int8 & fact6 -> int9: あの禅定札は卑しいし更に筆写する; int9 -> int10: 「あの禅定札は卑しい」ということは成り立つ; fact3 -> int11: もしも「あの禅定札は卑しい」ということは成り立てば狂おしい; int10 & int11 -> hypothesis; __PROVED__
事実1: あの禅定札は御持ちに成らない
事実2: あの禅定札は辛気臭くない
事実3: もしも「とある物は卑しい」ということは成り立つなら狂おしい
事実4: もし仮にその一般的対策が脳全体であるとすればあの一上肢は御持ちに成らない
事実5: 脳全体は御持ちに成る
事実6: その一般的対策が本盾村でないならばあの禅定札は卑しいし更に筆写する
事実7: 仮にこの一上肢は新学年でないとすると「それは惨めったらしい」ということは確かである
事実8: 仮にその一般的対策が馴れ馴れしいしさらにそれが御持ちに成るとすればあの自動車工場は脳全体でない
事実9: その一般的対策が本盾村でないとするとあの禅定札は筆写する
事実10: 脳全体は新学年だ
事実11: あの禅定札は筆写する
事実12: もし仮に何らかのものは惨めったらしくないなら「卑しい一方で御持ちに成らない」ということは間違っている
事実13: その一般的対策は狂おしい
事実14: もしもその一般的対策が狂おしいなら馴れ馴れしい
事実15: もし仮に「この一上肢は卑しいがしかし御持ちに成るということはない」ということは偽であるならその一般的対策は御持ちに成る
事実16: 仮にあの禅定札は辛気臭いということはないとすると「すばしこくて新学年である」ということは事実でない
事実17: 仮にその一般的対策が本盾村であるかまたはそれが脳全体ならこの一上肢は御持ちに成らない
事実18: この一上肢は惨めったらしい
事実19: もし仮にこの一上肢が新学年でないとすれば馴れ馴れしくて惨めったらしい
事実20: もし何らかのものが御持ちに成らないとすれば馴れ馴れしくない
事実21: この一上肢は新学年でない
事実22: 仮に「脳全体な」物はあれば「その一般的対策は本盾村であるし更に御持ちに成る」ということは偽だ

仮説: あの禅定札は狂おしい
1. 仮定1: 以下のように仮定する。その一般的対策は本盾村である
2. 仮定1から、推論1: "その一般的対策は本盾村であるかあるいは脳全体である"が導かれる
3. 推論1と事実17から、推論2: "この一上肢は御持ちに成らない"が導かれる
4. 事実20から、推論3: "もし仮にこの一上肢が御持ちに成らないとしたら馴れ馴れしくない"が導かれる
5. 推論2と推論3から、推論4: "「この一上肢は馴れ馴れしくない」ということは成り立つ"が導かれる
6. 事実21と事実19から、推論5: "この一上肢は馴れ馴れしくてそれにそれは惨めったらしい"が導かれる
7. 推論5から、推論6: "この一上肢は馴れ馴れしい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その一般的対策は本盾村でない"が導かれる
10. 推論8と事実6から、推論9: "あの禅定札は卑しいし更に筆写する"が導かれる
11. 推論9から、推論10: "「あの禅定札は卑しい」ということは成り立つ"が導かれる
12. 事実3から、推論11: "もしも「あの禅定札は卑しい」ということは成り立てば狂おしい"が導かれる
13. 推論10と推論11から、仮説が導かれる

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