「その早熟性は過ごし易くない」ということは確かである
fact1: ある物が許し難いとすれば過ごし易くない fact2: 仮にこの酉年は慈悲深いなら「それは迷信深い」ということは確かだ fact3: この酉年は過ごし易い fact4: もし「何らかの物は過ごし易くないが特効薬だ」ということは成り立たないとすれば過ごし易い fact5: その変わり者は迷信深くない fact6: もしもこの他児が作用し合うしその上連絡出来るとすると「この酉年は国内産業だということはない」ということは成り立つ fact7: もしもこの他児が迷信深いし加えて許し難いとすればその早熟性は国内産業でない fact8: 「この酉年は特効薬だ」ということは事実だ fact9: 仮にこの酉年は特効薬であるとしたら作用し合う fact10: この他児は書き易い fact11: 仮に「この酉年は書き易いかそれはきったないかまたは両方ともである」ということは嘘だとするとあの生産地は連絡出来ない fact12: この酉年は露見しない fact13: もしも何らかの物は国内産業でなくてかつ特効薬でないなら作用し合わない fact14: 「その早熟性は慈悲深くない」ということは真実だ fact15: その変わり者は国内産業だ fact16: もし仮にこの酉年は特効薬であるならば「この他児は国内産業だ」ということは確かだ fact17: もし仮にその変わり者は作用し合わないならば「その早熟性はきったなくないかあるいは迷信深いかどちらもである」ということは真実でない fact18: 「仮になにがしかのものは国内産業でないとしたら「過ごし易いということはない一方で特効薬だ」ということは成り立たない」ということは事実だ fact19: 仮にこの他児は国内産業であるならそれは連絡出来る fact20: 仮にこの他児は迷信深くないとしたら「この酉年は書き易いかあるいはきったない」ということは成り立たない fact21: 仮にこの酉年が国内産業でないししかも書き易くないならばあの早熟性は国内産業でない fact22: もしも「なにかはきったなくないかあるいは迷信深いかあるいは両方ともだ」ということは間違っているとするとそれは許し難い fact23: もしもこの他児は連絡出来るしさらに書き易いなら「その変わり者は作用し合わない」ということは事実である fact24: 「その早熟性は迷信深くないかまたは連絡出来るかまたは両方ともである」ということは偽であるとしたらそれは過ごし易い
fact16 & fact8 -> int1: 「この他児は国内産業だ」ということは成り立つ; int1 & fact19 -> int2: この他児は連絡出来る; int2 & fact10 -> int3: この他児は連絡出来るし書き易い; int3 & fact23 -> int4: その変わり者は作用し合わない; int4 & fact17 -> int5: 「その早熟性はきったなくないかもしくは迷信深いかまたは両方ともである」ということは嘘だ; fact22 -> int6: もしも「その早熟性はきったなくないかまたは迷信深いか両方だ」ということは偽であるとすればそれは許し難い; int5 & int6 -> int7: 「その早熟性は許し難い」ということは真実だ; fact1 -> int8: もしもその早熟性が許し難いとしたらそれは過ごし易くない; int7 & int8 -> hypothesis;
その早熟性は過ごし易い
fact25 -> int9: もし「その早熟性は過ごし易くないけどそれは特効薬だ」ということは真実でないとしたらそれは過ごし易い; fact26 -> int10: もし仮にその早熟性は国内産業でないなら「過ごし易くないがしかし特効薬だ」ということは嘘である;
$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: 「その早熟性は迷信深くないかまたは連絡出来るかまたは両方ともである」ということは偽であるとしたらそれは過ごし易い ; $hypothesis$ = 「その早熟性は過ごし易くない」ということは確かである ; $proof$ = 
fact16 & fact8 -> int1: 「この他児は国内産業だ」ということは成り立つ; int1 & fact19 -> int2: この他児は連絡出来る; int2 & fact10 -> int3: この他児は連絡出来るし書き易い; int3 & fact23 -> int4: その変わり者は作用し合わない; int4 & fact17 -> int5: 「その早熟性はきったなくないかもしくは迷信深いかまたは両方ともである」ということは嘘だ; fact22 -> int6: もしも「その早熟性はきったなくないかまたは迷信深いか両方だ」ということは偽であるとすればそれは許し難い; int5 & int6 -> int7: 「その早熟性は許し難い」ということは真実だ; fact1 -> int8: もしもその早熟性が許し難いとしたらそれは過ごし易くない; int7 & int8 -> 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: 「その早熟性は迷信深くないかまたは連絡出来るかまたは両方ともである」ということは偽であるとしたらそれは過ごし易い

仮説: 「その早熟性は過ごし易くない」ということは確かである
1. 事実16と事実8から、推論1: "「この他児は国内産業だ」ということは成り立つ"が導かれる
2. 推論1と事実19から、推論2: "この他児は連絡出来る"が導かれる
3. 推論2と事実10から、推論3: "この他児は連絡出来るし書き易い"が導かれる
4. 推論3と事実23から、推論4: "その変わり者は作用し合わない"が導かれる
5. 推論4と事実17から、推論5: "「その早熟性はきったなくないかもしくは迷信深いかまたは両方ともである」ということは嘘だ"が導かれる
6. 事実22から、推論6: "もしも「その早熟性はきったなくないかまたは迷信深いか両方だ」ということは偽であるとすればそれは許し難い"が導かれる
7. 推論5と推論6から、推論7: "「その早熟性は許し難い」ということは真実だ"が導かれる
8. 事実1から、推論8: "もしもその早熟性が許し難いとしたらそれは過ごし易くない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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