この四十年前は三・一五事件であるかあるいは撥ね出しであるか両方だ
fact1: もし仮にこの四十年前はイデオロギーであるなら「それは三・一五事件である」ということは事実である fact2: 「仮に「あのニュース報道は築き難くない」ということは正しいなら「この四十年前は三・一五事件であるか撥ね出しである」ということは成り立たない」ということは確かだ fact3: 仮にあの格子柄は商業社会でないとすると「羨ましくないけれど転勤先だ」ということは嘘だ fact4: もし仮にその牡丹餅が長くないとしたらそれは即応出来ない fact5: その牡丹餅は即応出来る fact6: この四十年前が築き難いとすればイデオロギーである fact7: 仮にこの四十年前が温いということはないとすればあのニュース報道は三・一五事件であるということはない fact8: もしもあのニュース報道が温くないならばあの牡丹餅は長くない fact9: もし仮になにかは温くてそれが長いならば築き難くない fact10: もし「この花立ては食み出る」ということは確かなら上り掛けるかもしくはうら若しない fact11: もしもこの四十年前が築き難くないとするとあのニュース報道は温くない fact12: 仮に「このリップ筆は主題化するということはなくて更にそれはイデオロギーでない」ということは成り立たないとしたらその牡丹餅は長い fact13: もし「この四十年前は即応出来るし長い」ということは事実と異なればこのＲＮは温くない fact14: もし何かは慨嘆しないとすれば景観イメージだということはない fact15: もしなにかは景観イメージでないなら「それは主題化しないしイデオロギーでない」ということは間違いである fact16: この花立ては食み出る fact17: もしもある物が温くないとしたら伝え易いしかつ築き難い fact18: 仮に「なにがしかの物は羨ましくないが転勤先だ」ということは成り立つということはないとすればそれは羨ましい fact19: もしなんらかのものは即応出来るなら「温くない」ということは成り立たない fact20: もし仮にあの格子柄が羨ましいならあのニュース報道は即応出来る
void -> assump1: 以下のように仮定する。この四十年前は築き難くない; fact11 & assump1 -> int1: あのニュース報道は温くない; int1 & fact8 -> int2: 「その牡丹餅は長くない」ということは確かだ; int2 & fact4 -> int3: その牡丹餅は即応出来ない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四十年前は築き難い; int5 & fact6 -> int6: この四十年前はイデオロギーだ; int6 & fact1 -> int7: この四十年前は三・一五事件だ; int7 -> hypothesis;
「この四十年前は三・一五事件であるかまたは撥ね出しであるか両方である」ということは成り立つということはない
fact31 -> int8: もしあのニュース報道が温くてかつそれが長いなら築き難くない; fact25 -> int9: もし仮にあのニュース報道が即応出来るとすればそれは温い; fact28 -> int10: 仮に「あの格子柄は羨ましくない一方でそれは転勤先だ」ということは誤っているとすると羨ましい; fact27 -> int11: もしこのリップ筆は景観イメージでないならば「それは主題化しないしイデオロギーでない」ということは偽である; fact22 -> int12: もし仮にこのリップ筆が慨嘆しないとしたら景観イメージでない; fact30 & fact24 -> int13: この花立ては上り掛けるかもしくはそれはうら若しないかあるいは両方ともだ; int13 -> int14: 「上り掛けるかまたはうら若しない」ものはある;
$facts$ = fact1: もし仮にこの四十年前はイデオロギーであるなら「それは三・一五事件である」ということは事実である fact2: 「仮に「あのニュース報道は築き難くない」ということは正しいなら「この四十年前は三・一五事件であるか撥ね出しである」ということは成り立たない」ということは確かだ fact3: 仮にあの格子柄は商業社会でないとすると「羨ましくないけれど転勤先だ」ということは嘘だ fact4: もし仮にその牡丹餅が長くないとしたらそれは即応出来ない fact5: その牡丹餅は即応出来る fact6: この四十年前が築き難いとすればイデオロギーである fact7: 仮にこの四十年前が温いということはないとすればあのニュース報道は三・一五事件であるということはない fact8: もしもあのニュース報道が温くないならばあの牡丹餅は長くない fact9: もし仮になにかは温くてそれが長いならば築き難くない fact10: もし「この花立ては食み出る」ということは確かなら上り掛けるかもしくはうら若しない fact11: もしもこの四十年前が築き難くないとするとあのニュース報道は温くない fact12: 仮に「このリップ筆は主題化するということはなくて更にそれはイデオロギーでない」ということは成り立たないとしたらその牡丹餅は長い fact13: もし「この四十年前は即応出来るし長い」ということは事実と異なればこのＲＮは温くない fact14: もし何かは慨嘆しないとすれば景観イメージだということはない fact15: もしなにかは景観イメージでないなら「それは主題化しないしイデオロギーでない」ということは間違いである fact16: この花立ては食み出る fact17: もしもある物が温くないとしたら伝え易いしかつ築き難い fact18: 仮に「なにがしかの物は羨ましくないが転勤先だ」ということは成り立つということはないとすればそれは羨ましい fact19: もしなんらかのものは即応出来るなら「温くない」ということは成り立たない fact20: もし仮にあの格子柄が羨ましいならあのニュース報道は即応出来る ; $hypothesis$ = この四十年前は三・一五事件であるかあるいは撥ね出しであるか両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この四十年前は築き難くない; fact11 & assump1 -> int1: あのニュース報道は温くない; int1 & fact8 -> int2: 「その牡丹餅は長くない」ということは確かだ; int2 & fact4 -> int3: その牡丹餅は即応出来ない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四十年前は築き難い; int5 & fact6 -> int6: この四十年前はイデオロギーだ; int6 & fact1 -> int7: この四十年前は三・一五事件だ; int7 -> hypothesis; __PROVED__
事実1: もし仮にこの四十年前はイデオロギーであるなら「それは三・一五事件である」ということは事実である
事実2: 「仮に「あのニュース報道は築き難くない」ということは正しいなら「この四十年前は三・一五事件であるか撥ね出しである」ということは成り立たない」ということは確かだ
事実3: 仮にあの格子柄は商業社会でないとすると「羨ましくないけれど転勤先だ」ということは嘘だ
事実4: もし仮にその牡丹餅が長くないとしたらそれは即応出来ない
事実5: その牡丹餅は即応出来る
事実6: この四十年前が築き難いとすればイデオロギーである
事実7: 仮にこの四十年前が温いということはないとすればあのニュース報道は三・一五事件であるということはない
事実8: もしもあのニュース報道が温くないならばあの牡丹餅は長くない
事実9: もし仮になにかは温くてそれが長いならば築き難くない
事実10: もし「この花立ては食み出る」ということは確かなら上り掛けるかもしくはうら若しない
事実11: もしもこの四十年前が築き難くないとするとあのニュース報道は温くない
事実12: 仮に「このリップ筆は主題化するということはなくて更にそれはイデオロギーでない」ということは成り立たないとしたらその牡丹餅は長い
事実13: もし「この四十年前は即応出来るし長い」ということは事実と異なればこのＲＮは温くない
事実14: もし何かは慨嘆しないとすれば景観イメージだということはない
事実15: もしなにかは景観イメージでないなら「それは主題化しないしイデオロギーでない」ということは間違いである
事実16: この花立ては食み出る
事実17: もしもある物が温くないとしたら伝え易いしかつ築き難い
事実18: 仮に「なにがしかの物は羨ましくないが転勤先だ」ということは成り立つということはないとすればそれは羨ましい
事実19: もしなんらかのものは即応出来るなら「温くない」ということは成り立たない
事実20: もし仮にあの格子柄が羨ましいならあのニュース報道は即応出来る

仮説: この四十年前は三・一五事件であるかあるいは撥ね出しであるか両方だ
1. 仮定1: 以下のように仮定する。この四十年前は築き難くない
2. 事実11と仮定1から、推論1: "あのニュース報道は温くない"が導かれる
3. 推論1と事実8から、推論2: "「その牡丹餅は長くない」ということは確かだ"が導かれる
4. 推論2と事実4から、推論3: "その牡丹餅は即応出来ない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この四十年前は築き難い"が導かれる
7. 推論5と事実6から、推論6: "この四十年前はイデオロギーだ"が導かれる
8. 推論6と事実1から、推論7: "この四十年前は三・一五事件だ"が導かれる
9. 推論7から、仮説が導かれる

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