その頚椎は騒がしい
fact1: 「行ずる」物はある fact2: この怒り心頭が克服するとすればあの恋仲は忘れ難い fact3: 仮に「行ずる」物があるとすればこの恋仲は仕方無し fact4: もしもこの恋仲が忘れ難いなら仕方無しということはない fact5: 忘れ難くない物は克服するということはないしまた騒がしくない fact6: もし仮にこの年端が直線性であるならばその頚椎は騒がしい fact7: この怒り心頭は卑し fact8: 「仕方無し」ものはある fact9: もしもなにがしかの物が克服するとすれば忘れ難い fact10: この怒り心頭は仕方無し fact11: もしもこの怒り心頭は卑しけど克服しないとすれば「この年端は直線性である」ということは真実である
void -> assump1: 以下のように仮定する。この怒り心頭は克服する; fact2 & assump1 -> int1: この恋仲は忘れ難い; int1 & fact4 -> int2: この恋仲は仕方無しということはない; fact3 & fact1 -> int3: この恋仲は仕方無し; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この怒り心頭は克服しない; int5 & fact7 -> int6: この怒り心頭は卑し一方で克服しない; int6 & fact11 -> int7: この年端は直線性である; int7 & fact6 -> hypothesis;
あの自治体経営は忘れ難い
fact12 -> int8: もしあの自治体経営が克服するとすればそれは忘れ難い;
$facts$ = fact1: 「行ずる」物はある fact2: この怒り心頭が克服するとすればあの恋仲は忘れ難い fact3: 仮に「行ずる」物があるとすればこの恋仲は仕方無し fact4: もしもこの恋仲が忘れ難いなら仕方無しということはない fact5: 忘れ難くない物は克服するということはないしまた騒がしくない fact6: もし仮にこの年端が直線性であるならばその頚椎は騒がしい fact7: この怒り心頭は卑し fact8: 「仕方無し」ものはある fact9: もしもなにがしかの物が克服するとすれば忘れ難い fact10: この怒り心頭は仕方無し fact11: もしもこの怒り心頭は卑しけど克服しないとすれば「この年端は直線性である」ということは真実である ; $hypothesis$ = その頚椎は騒がしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この怒り心頭は克服する; fact2 & assump1 -> int1: この恋仲は忘れ難い; int1 & fact4 -> int2: この恋仲は仕方無しということはない; fact3 & fact1 -> int3: この恋仲は仕方無し; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この怒り心頭は克服しない; int5 & fact7 -> int6: この怒り心頭は卑し一方で克服しない; int6 & fact11 -> int7: この年端は直線性である; int7 & fact6 -> hypothesis; __PROVED__
事実1: 「行ずる」物はある
事実2: この怒り心頭が克服するとすればあの恋仲は忘れ難い
事実3: 仮に「行ずる」物があるとすればこの恋仲は仕方無し
事実4: もしもこの恋仲が忘れ難いなら仕方無しということはない
事実5: 忘れ難くない物は克服するということはないしまた騒がしくない
事実6: もし仮にこの年端が直線性であるならばその頚椎は騒がしい
事実7: この怒り心頭は卑し
事実8: 「仕方無し」ものはある
事実9: もしもなにがしかの物が克服するとすれば忘れ難い
事実10: この怒り心頭は仕方無し
事実11: もしもこの怒り心頭は卑しけど克服しないとすれば「この年端は直線性である」ということは真実である

仮説: その頚椎は騒がしい
1. 仮定1: 以下のように仮定する。この怒り心頭は克服する
2. 事実2と仮定1から、推論1: "この恋仲は忘れ難い"が導かれる
3. 推論1と事実4から、推論2: "この恋仲は仕方無しということはない"が導かれる
4. 事実3と事実1から、推論3: "この恋仲は仕方無し"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この怒り心頭は克服しない"が導かれる
7. 推論5と事実7から、推論6: "この怒り心頭は卑し一方で克服しない"が導かれる
8. 推論6と事実11から、推論7: "この年端は直線性である"が導かれる
9. 推論7と事実6から、仮説が導かれる

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