この麻薬は酸くない
fact1: もし仮にあの形シートがごわごわしなくておまけに願掛け岩でないならばあの姉達は捕らわれ易くない fact2: もしもこの尊が座視しないならばこの麻薬は捕らわれ易いがしかし座視しない fact3: あの此の世は嫌らしくない fact4: もし「その手荒れは納得行くということはないがしかし泣き噦る」ということは偽であるならばこの尊は泣き噦る fact5: もし仮になんらかの物が納得行かないなら座視しない fact6: この尊は泣き噦るない fact7: この麻薬は同団体でない fact8: 仮にこの尊は座視するし捕らわれ易いなら納得行く fact9: もし仮にある物が生い茂るししかも酸いならば心置き無くない fact10: 仮にその手荒れが願掛け岩でない一方で心置き無いとするとそれは酸い fact11: もしもこの尊が座視しないがしかし納得行くとしたらこの地方官は納得行かない fact12: もしも捕らわれ易い物が座視しないとしたらそれは生い茂る fact13: 何らかの物はごわごわしない fact14: 仮にあの姉達が捕らわれ易くないならあの年秋は心置き無くないかまたは生い茂るかもしくはどちらもだ fact15: 「ごわごわしない」ものがあればこの麻薬は願掛け岩である fact16: 御労しくない物はごわごわしなくてそれに願掛け岩でない fact17: その手荒れは御労しい fact18: そのＳＥＣ規則は心置き無くない fact19: その手荒れは酸いなら「捕らわれ易くないしさらに生い茂らない」ということは間違っている fact20: あの荒野は泣き噦るない fact21: この尊が泣き噦るないとすればそれは納得行かない fact22: もしも「この麻薬は願掛け岩だ」ということは本当であるとしたら「心置き無い」ということは真実である fact23: 御労しい物はごわごわする fact24: もしこの尊が泣き噦るとすればこの麻薬は酸い fact25: 仮に何らかの物は嫌らしくないなら「思い易くなくてその上それは根深い」ということは成り立たない fact26: もし仮に「「捕らわれ易くないしかつ生い茂らない」ということは事実と異なる」ものがあればこの麻薬は泣き噦るない fact27: もし仮にあの年秋が心置き無くないかもしくは生い茂るか両方ともだとしたらその一箇月以内は生い茂る
fact21 & fact6 -> int1: この尊は納得行くということはない; fact5 -> int2: もしもこの尊が納得行かないとすると座視しない; int1 & int2 -> int3: この尊は座視しない; int3 & fact2 -> int4: この麻薬は捕らわれ易い一方で座視しない; fact12 -> int5: もしも「この麻薬は捕らわれ易いけど座視しない」ということは成り立つとすれば生い茂る; int4 & int5 -> int6: この麻薬は生い茂る; void -> assump1: 以下のように仮定する。この麻薬は酸い; int6 & assump1 -> int7: この麻薬は生い茂るしおまけに酸い; fact9 -> int8: もしもこの麻薬は生い茂るしおまけに酸いならそれは心置き無くない; int7 & int8 -> int9: この麻薬は心置き無くない; fact15 & fact13 -> int10: この麻薬は願掛け岩である; int10 & fact22 -> int11: この麻薬は心置き無い; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
この麻薬は酸い
fact34 -> int13: もしもあの形シートが御労しくないならごわごわしなくてそれは願掛け岩でない; fact35 -> int14: もしもあの此の世は嫌らしくないなら「それが思い易くないしさらにそれは根深い」ということは間違っている; int14 & fact33 -> int15: 「「あの此の世は思い易くない一方で根深い」ということは誤っていない」ということは間違いだ; int15 -> int16: 「「思い易くないけれど根深い」ということは誤っている」ものはある;
$facts$ = fact1: もし仮にあの形シートがごわごわしなくておまけに願掛け岩でないならばあの姉達は捕らわれ易くない fact2: もしもこの尊が座視しないならばこの麻薬は捕らわれ易いがしかし座視しない fact3: あの此の世は嫌らしくない fact4: もし「その手荒れは納得行くということはないがしかし泣き噦る」ということは偽であるならばこの尊は泣き噦る fact5: もし仮になんらかの物が納得行かないなら座視しない fact6: この尊は泣き噦るない fact7: この麻薬は同団体でない fact8: 仮にこの尊は座視するし捕らわれ易いなら納得行く fact9: もし仮にある物が生い茂るししかも酸いならば心置き無くない fact10: 仮にその手荒れが願掛け岩でない一方で心置き無いとするとそれは酸い fact11: もしもこの尊が座視しないがしかし納得行くとしたらこの地方官は納得行かない fact12: もしも捕らわれ易い物が座視しないとしたらそれは生い茂る fact13: 何らかの物はごわごわしない fact14: 仮にあの姉達が捕らわれ易くないならあの年秋は心置き無くないかまたは生い茂るかもしくはどちらもだ fact15: 「ごわごわしない」ものがあればこの麻薬は願掛け岩である fact16: 御労しくない物はごわごわしなくてそれに願掛け岩でない fact17: その手荒れは御労しい fact18: そのＳＥＣ規則は心置き無くない fact19: その手荒れは酸いなら「捕らわれ易くないしさらに生い茂らない」ということは間違っている fact20: あの荒野は泣き噦るない fact21: この尊が泣き噦るないとすればそれは納得行かない fact22: もしも「この麻薬は願掛け岩だ」ということは本当であるとしたら「心置き無い」ということは真実である fact23: 御労しい物はごわごわする fact24: もしこの尊が泣き噦るとすればこの麻薬は酸い fact25: 仮に何らかの物は嫌らしくないなら「思い易くなくてその上それは根深い」ということは成り立たない fact26: もし仮に「「捕らわれ易くないしかつ生い茂らない」ということは事実と異なる」ものがあればこの麻薬は泣き噦るない fact27: もし仮にあの年秋が心置き無くないかもしくは生い茂るか両方ともだとしたらその一箇月以内は生い茂る ; $hypothesis$ = この麻薬は酸くない ; $proof$ = 
fact21 & fact6 -> int1: この尊は納得行くということはない; fact5 -> int2: もしもこの尊が納得行かないとすると座視しない; int1 & int2 -> int3: この尊は座視しない; int3 & fact2 -> int4: この麻薬は捕らわれ易い一方で座視しない; fact12 -> int5: もしも「この麻薬は捕らわれ易いけど座視しない」ということは成り立つとすれば生い茂る; int4 & int5 -> int6: この麻薬は生い茂る; void -> assump1: 以下のように仮定する。この麻薬は酸い; int6 & assump1 -> int7: この麻薬は生い茂るしおまけに酸い; fact9 -> int8: もしもこの麻薬は生い茂るしおまけに酸いならそれは心置き無くない; int7 & int8 -> int9: この麻薬は心置き無くない; fact15 & fact13 -> int10: この麻薬は願掛け岩である; int10 & fact22 -> int11: この麻薬は心置き無い; int9 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __PROVED__
事実1: もし仮にあの形シートがごわごわしなくておまけに願掛け岩でないならばあの姉達は捕らわれ易くない
事実2: もしもこの尊が座視しないならばこの麻薬は捕らわれ易いがしかし座視しない
事実3: あの此の世は嫌らしくない
事実4: もし「その手荒れは納得行くということはないがしかし泣き噦る」ということは偽であるならばこの尊は泣き噦る
事実5: もし仮になんらかの物が納得行かないなら座視しない
事実6: この尊は泣き噦るない
事実7: この麻薬は同団体でない
事実8: 仮にこの尊は座視するし捕らわれ易いなら納得行く
事実9: もし仮にある物が生い茂るししかも酸いならば心置き無くない
事実10: 仮にその手荒れが願掛け岩でない一方で心置き無いとするとそれは酸い
事実11: もしもこの尊が座視しないがしかし納得行くとしたらこの地方官は納得行かない
事実12: もしも捕らわれ易い物が座視しないとしたらそれは生い茂る
事実13: 何らかの物はごわごわしない
事実14: 仮にあの姉達が捕らわれ易くないならあの年秋は心置き無くないかまたは生い茂るかもしくはどちらもだ
事実15: 「ごわごわしない」ものがあればこの麻薬は願掛け岩である
事実16: 御労しくない物はごわごわしなくてそれに願掛け岩でない
事実17: その手荒れは御労しい
事実18: そのＳＥＣ規則は心置き無くない
事実19: その手荒れは酸いなら「捕らわれ易くないしさらに生い茂らない」ということは間違っている
事実20: あの荒野は泣き噦るない
事実21: この尊が泣き噦るないとすればそれは納得行かない
事実22: もしも「この麻薬は願掛け岩だ」ということは本当であるとしたら「心置き無い」ということは真実である
事実23: 御労しい物はごわごわする
事実24: もしこの尊が泣き噦るとすればこの麻薬は酸い
事実25: 仮に何らかの物は嫌らしくないなら「思い易くなくてその上それは根深い」ということは成り立たない
事実26: もし仮に「「捕らわれ易くないしかつ生い茂らない」ということは事実と異なる」ものがあればこの麻薬は泣き噦るない
事実27: もし仮にあの年秋が心置き無くないかもしくは生い茂るか両方ともだとしたらその一箇月以内は生い茂る

仮説: この麻薬は酸くない
1. 事実21と事実6から、推論1: "この尊は納得行くということはない"が導かれる
2. 事実5から、推論2: "もしもこの尊が納得行かないとすると座視しない"が導かれる
3. 推論1と推論2から、推論3: "この尊は座視しない"が導かれる
4. 推論3と事実2から、推論4: "この麻薬は捕らわれ易い一方で座視しない"が導かれる
5. 事実12から、推論5: "もしも「この麻薬は捕らわれ易いけど座視しない」ということは成り立つとすれば生い茂る"が導かれる
6. 推論4と推論5から、推論6: "この麻薬は生い茂る"が導かれる
7. 仮定1: 以下のように仮定する。この麻薬は酸い
8. 推論6と仮定1から、推論7: "この麻薬は生い茂るしおまけに酸い"が導かれる
9. 事実9から、推論8: "もしもこの麻薬は生い茂るしおまけに酸いならそれは心置き無くない"が導かれる
10. 推論7と推論8から、推論9: "この麻薬は心置き無くない"が導かれる
11. 事実15と事実13から、推論10: "この麻薬は願掛け岩である"が導かれる
12. 推論10と事実22から、推論11: "この麻薬は心置き無い"が導かれる
13. 推論9と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が導かれる

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