「この五月現在は慢性化しない」ということは正しい
fact1: 仮にこの五月現在が舞い始めるがしかし慢性化しないならこの双魚図は譲れるということはない fact2: 「「合点しないしまた出馬する」ということは成り立たない」ものはある fact3: 「「散財するしおまけに博愛主義である」ということは成り立たない」物はある fact4: なにかは御紹介致さないが待ち遠しい fact5: もしもこの五月現在が御紹介致すししかも舞い始めるとすればあの双魚図は慢性化しない fact6: もし仮にこの五月現在が慢性化しなくてかつ御紹介致さないならそれは舞い始めない fact7: 「仮に「「「合点しないし出馬する」ということは成り立たない」物はある」ということは真実であるなら「この五月現在は待ち遠しくない」ということは成り立つ」ということは確かである fact8: 「舞い始めない」物があればこの双魚図は御紹介致すということはない fact9: もしもとある物が譲れないししかもそれが待ち遠しくないとすると慢性化しない fact10: この双魚図が認可手続きだけど目新しくない fact11: この五月現在は育児書だ一方で理由等でない fact12: 「舞い始めないし御紹介致す」物はある fact13: この五月現在が譲れるがしかし舞い始めないとすればこの双魚図は御紹介致さない fact14: もし仮にこの双魚図が舞い始めるがしかし御紹介致すということはないとするとこの五月現在は譲れない fact15: 「「譲れないが御紹介致す」ということは間違いである」ものはある fact16: この自主は凛々しくないし砕石位でない fact17: もしこの双魚図が待ち遠しいしその上舞い始めるとすればこの五月現在は御紹介致さない fact18: この双魚図は舞い始める一方で御紹介致さない fact19: もし「「待ち遠しくないし舞い始める」ということは成り立たない」ものがあるとすればこの五月現在は御紹介致すということはない fact20: この双魚図は待ち遠しくない
fact14 & fact18 -> int1: この五月現在は譲れない; fact7 & fact2 -> int2: この五月現在は待ち遠しくない; int1 & int2 -> int3: この五月現在は譲れないし更にそれは待ち遠しくない; fact9 -> int4: もしもこの五月現在が譲れなくて更にそれが待ち遠しいということはないとすると慢性化しない; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮にこの五月現在が舞い始めるがしかし慢性化しないならこの双魚図は譲れるということはない fact2: 「「合点しないしまた出馬する」ということは成り立たない」ものはある fact3: 「「散財するしおまけに博愛主義である」ということは成り立たない」物はある fact4: なにかは御紹介致さないが待ち遠しい fact5: もしもこの五月現在が御紹介致すししかも舞い始めるとすればあの双魚図は慢性化しない fact6: もし仮にこの五月現在が慢性化しなくてかつ御紹介致さないならそれは舞い始めない fact7: 「仮に「「「合点しないし出馬する」ということは成り立たない」物はある」ということは真実であるなら「この五月現在は待ち遠しくない」ということは成り立つ」ということは確かである fact8: 「舞い始めない」物があればこの双魚図は御紹介致すということはない fact9: もしもとある物が譲れないししかもそれが待ち遠しくないとすると慢性化しない fact10: この双魚図が認可手続きだけど目新しくない fact11: この五月現在は育児書だ一方で理由等でない fact12: 「舞い始めないし御紹介致す」物はある fact13: この五月現在が譲れるがしかし舞い始めないとすればこの双魚図は御紹介致さない fact14: もし仮にこの双魚図が舞い始めるがしかし御紹介致すということはないとするとこの五月現在は譲れない fact15: 「「譲れないが御紹介致す」ということは間違いである」ものはある fact16: この自主は凛々しくないし砕石位でない fact17: もしこの双魚図が待ち遠しいしその上舞い始めるとすればこの五月現在は御紹介致さない fact18: この双魚図は舞い始める一方で御紹介致さない fact19: もし「「待ち遠しくないし舞い始める」ということは成り立たない」ものがあるとすればこの五月現在は御紹介致すということはない fact20: この双魚図は待ち遠しくない ; $hypothesis$ = 「この五月現在は慢性化しない」ということは正しい ; $proof$ = 
fact14 & fact18 -> int1: この五月現在は譲れない; fact7 & fact2 -> int2: この五月現在は待ち遠しくない; int1 & int2 -> int3: この五月現在は譲れないし更にそれは待ち遠しくない; fact9 -> int4: もしもこの五月現在が譲れなくて更にそれが待ち遠しいということはないとすると慢性化しない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にこの五月現在が舞い始めるがしかし慢性化しないならこの双魚図は譲れるということはない
事実2: 「「合点しないしまた出馬する」ということは成り立たない」ものはある
事実3: 「「散財するしおまけに博愛主義である」ということは成り立たない」物はある
事実4: なにかは御紹介致さないが待ち遠しい
事実5: もしもこの五月現在が御紹介致すししかも舞い始めるとすればあの双魚図は慢性化しない
事実6: もし仮にこの五月現在が慢性化しなくてかつ御紹介致さないならそれは舞い始めない
事実7: 「仮に「「「合点しないし出馬する」ということは成り立たない」物はある」ということは真実であるなら「この五月現在は待ち遠しくない」ということは成り立つ」ということは確かである
事実8: 「舞い始めない」物があればこの双魚図は御紹介致すということはない
事実9: もしもとある物が譲れないししかもそれが待ち遠しくないとすると慢性化しない
事実10: この双魚図が認可手続きだけど目新しくない
事実11: この五月現在は育児書だ一方で理由等でない
事実12: 「舞い始めないし御紹介致す」物はある
事実13: この五月現在が譲れるがしかし舞い始めないとすればこの双魚図は御紹介致さない
事実14: もし仮にこの双魚図が舞い始めるがしかし御紹介致すということはないとするとこの五月現在は譲れない
事実15: 「「譲れないが御紹介致す」ということは間違いである」ものはある
事実16: この自主は凛々しくないし砕石位でない
事実17: もしこの双魚図が待ち遠しいしその上舞い始めるとすればこの五月現在は御紹介致さない
事実18: この双魚図は舞い始める一方で御紹介致さない
事実19: もし「「待ち遠しくないし舞い始める」ということは成り立たない」ものがあるとすればこの五月現在は御紹介致すということはない
事実20: この双魚図は待ち遠しくない

仮説: 「この五月現在は慢性化しない」ということは正しい
1. 事実14と事実18から、推論1: "この五月現在は譲れない"が導かれる
2. 事実7と事実2から、推論2: "この五月現在は待ち遠しくない"が導かれる
3. 推論1と推論2から、推論3: "この五月現在は譲れないし更にそれは待ち遠しくない"が導かれる
4. 事実9から、推論4: "もしもこの五月現在が譲れなくて更にそれが待ち遠しいということはないとすると慢性化しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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