「「この天狗連中は重たくて加えて経営資源分析だ」ということは誤りである」ということは真実だ
fact1: この天狗連中は我慢出来るし根気良い fact2: 「考え始める」ものはある fact3: すべては根気良いかまたは後ろめたくない fact4: 「あの赤字経営は水酸基であるかあるいは四日先であるかもしくはどちらもである」ということは成り立たない fact5: もし仮に何らかの物が話し辛くないとすれば生じ易いかもしくはそれは御知りに成らない fact6: もしもこの被写が御知りに成らないならあの明治末は考え始める fact7: もしあの黄昏は話し辛くないとすれば後ろめたくない fact8: あの黄昏は後ろめたくない fact9: もしも手っ取り早い物が経営資源分析であるとしたらこの天狗連中は根気良くない fact10: もしもこの被写が御知りに成らないとしたらこの天狗連中は考え始めない fact11: 「この被写は手っ取り早いかもしくは水酸基だ」ということは誤っている fact12: この被写は水酸基でない fact13: 根気良いかあるいは後ろめたくない物は後ろめたくない fact14: 「水酸基であるしその上考え始める」物はある fact15: 「もしもあの黄昏は根気良くないなら「この天狗連中は重たくてそれは経営資源分析である」ということは確かでない」ということは成り立つ fact16: もし「この被写は手っ取り早いかあるいは水酸基であるか両方ともだ」ということは間違いならば御知りに成るということはない fact17: もし仮にあの黄昏が話し辛くないとしたらそれは後ろめたくなくてしかも根気良くない fact18: もし何らかのものが生じ易くて考え始めるとしたらあの黄昏は話し辛くない fact19: あの明治末は生じ易い fact20: この被写が生じ易いならこの天狗連中は考え始めない fact21: もし仮に「あの明治末は生じ易いということはない」ということは事実だとすれば重たくなくて水酸基でない fact22: あるものは生じ易い fact23: 「「あの黄昏は根気良いしその上生じ易い」ということは事実である」ということは誤りだ
fact16 & fact11 -> int1: 「この被写は御知りに成らない」ということは成り立つ; int1 & fact6 -> int2: あの明治末は考え始める; int2 & fact19 -> int3: あの明治末は生じ易くてかつそれは考え始める; int3 -> int4: 「生じ易くて考え始める」ものはある; int4 & fact18 -> int5: あの黄昏は話し辛くない; int5 & fact17 -> int6: あの黄昏は後ろめたくなくてそれに根気良くない; int6 -> int7: あの黄昏は根気良くない; int7 & fact15 -> hypothesis;
この天狗連中は重たいしそれに経営資源分析だ
fact28 -> int8: もしあの明治末が根気良いかまたはそれが後ろめたいということはないとすれば後ろめたくない; fact27 -> int9: あの明治末は根気良いかまたはそれは後ろめたくないかもしくはどちらもである; int8 & int9 -> int10: あの明治末は後ろめたくない; fact24 -> int11: 仮にあの明治末が話し辛くないならそれは生じ易いか御知りに成らないかもしくは両方である;
$facts$ = fact1: この天狗連中は我慢出来るし根気良い fact2: 「考え始める」ものはある fact3: すべては根気良いかまたは後ろめたくない fact4: 「あの赤字経営は水酸基であるかあるいは四日先であるかもしくはどちらもである」ということは成り立たない fact5: もし仮に何らかの物が話し辛くないとすれば生じ易いかもしくはそれは御知りに成らない fact6: もしもこの被写が御知りに成らないならあの明治末は考え始める fact7: もしあの黄昏は話し辛くないとすれば後ろめたくない fact8: あの黄昏は後ろめたくない fact9: もしも手っ取り早い物が経営資源分析であるとしたらこの天狗連中は根気良くない fact10: もしもこの被写が御知りに成らないとしたらこの天狗連中は考え始めない fact11: 「この被写は手っ取り早いかもしくは水酸基だ」ということは誤っている fact12: この被写は水酸基でない fact13: 根気良いかあるいは後ろめたくない物は後ろめたくない fact14: 「水酸基であるしその上考え始める」物はある fact15: 「もしもあの黄昏は根気良くないなら「この天狗連中は重たくてそれは経営資源分析である」ということは確かでない」ということは成り立つ fact16: もし「この被写は手っ取り早いかあるいは水酸基であるか両方ともだ」ということは間違いならば御知りに成るということはない fact17: もし仮にあの黄昏が話し辛くないとしたらそれは後ろめたくなくてしかも根気良くない fact18: もし何らかのものが生じ易くて考え始めるとしたらあの黄昏は話し辛くない fact19: あの明治末は生じ易い fact20: この被写が生じ易いならこの天狗連中は考え始めない fact21: もし仮に「あの明治末は生じ易いということはない」ということは事実だとすれば重たくなくて水酸基でない fact22: あるものは生じ易い fact23: 「「あの黄昏は根気良いしその上生じ易い」ということは事実である」ということは誤りだ ; $hypothesis$ = 「「この天狗連中は重たくて加えて経営資源分析だ」ということは誤りである」ということは真実だ ; $proof$ = 
fact16 & fact11 -> int1: 「この被写は御知りに成らない」ということは成り立つ; int1 & fact6 -> int2: あの明治末は考え始める; int2 & fact19 -> int3: あの明治末は生じ易くてかつそれは考え始める; int3 -> int4: 「生じ易くて考え始める」ものはある; int4 & fact18 -> int5: あの黄昏は話し辛くない; int5 & fact17 -> int6: あの黄昏は後ろめたくなくてそれに根気良くない; int6 -> int7: あの黄昏は根気良くない; int7 & fact15 -> 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: 「「あの黄昏は根気良いしその上生じ易い」ということは事実である」ということは誤りだ

仮説: 「「この天狗連中は重たくて加えて経営資源分析だ」ということは誤りである」ということは真実だ
1. 事実16と事実11から、推論1: "「この被写は御知りに成らない」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "あの明治末は考え始める"が導かれる
3. 推論2と事実19から、推論3: "あの明治末は生じ易くてかつそれは考え始める"が導かれる
4. 推論3から、推論4: "「生じ易くて考え始める」ものはある"が導かれる
5. 推論4と事実18から、推論5: "あの黄昏は話し辛くない"が導かれる
6. 推論5と事実17から、推論6: "あの黄昏は後ろめたくなくてそれに根気良くない"が導かれる
7. 推論6から、推論7: "あの黄昏は根気良くない"が導かれる
8. 推論7と事実15から、仮説が導かれる

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