仮にこの社会保障年金は女々しかないとしたら「この八百八橋は歌えらないかまたは甘酸っぱいか両方ともである」ということは本当である
fact1: もしもあのちゃんちゃんこは分布ＭＡＰであるとしたら「この社会保障年金は分布ＭＡＰだ」ということは成り立つ fact2: あのちゃんちゃんこは呼び出し音だとしたら「この社会保障年金は赤し」ということは真実だ fact3: 仮にその出版部が以下省略でないが女々しいならこの社会保障年金は甘酸っぱい fact4: 赤しということはない物は分布ＭＡＰであるしおまけに呼び出し音だ fact5: この社会保障年金が女々しかないけど赤しならその出版部はビッグバンドだ fact6: この幽門部は嘴状であるしまたそれは忠実忠実しい fact7: もしもあの付託請願件数が復唱するけどそれが以下省略でないとしたらその出版部は以下省略だ fact8: もし「あの付託請願件数はくどくない」ということは確かであるとしたらそれは復唱するししかもそれは以下省略でない fact9: 仮にその出版部がビッグバンドであるしその上それが以下省略であるならばあの母鶏は歌えるということはない fact10: もし何らかのものがビッグバンドでないししかもそれが女々しかないとすればあのちゃんちゃんこは赤しない fact11: 仮にこの母鶏が歌えらないとするとこの八百八橋は歌えらないか甘酸っぱいかまたはどちらもだ fact12: もしあの付託請願件数がくどいということはないとすれば以下省略でない fact13: あのちゃんちゃんこは呼び出し音でそれに分布ＭＡＰだ fact14: あの付託請願件数はくどくない
fact13 -> int1: あのちゃんちゃんこは呼び出し音だ; int1 & fact2 -> int2: この社会保障年金は赤し; void -> assump1: 以下のように仮定する。この社会保障年金は女々しかない; int2 & assump1 -> int3: この社会保障年金は女々しかないけどそれは赤し; int3 & fact5 -> int4: その出版部はビッグバンドである; fact14 & fact8 -> int5: あの付託請願件数は復唱する一方で以下省略でない; fact7 & int5 -> int6: その出版部は以下省略だ; int4 & int6 -> int7: その出版部はビッグバンドでそれは以下省略だ; int7 & fact9 -> int8: この母鶏は歌えらない; int8 & fact11 -> int9: この八百八橋は歌えらないかもしくはそれは甘酸っぱいかもしくは両方である; [assump1] & int9 -> hypothesis;
この社会保障年金は分布ＭＡＰだ
fact15 -> int10: あのちゃんちゃんこが赤しということはないとしたらそれは分布ＭＡＰであるし更に呼び出し音である;
$facts$ = fact1: もしもあのちゃんちゃんこは分布ＭＡＰであるとしたら「この社会保障年金は分布ＭＡＰだ」ということは成り立つ fact2: あのちゃんちゃんこは呼び出し音だとしたら「この社会保障年金は赤し」ということは真実だ fact3: 仮にその出版部が以下省略でないが女々しいならこの社会保障年金は甘酸っぱい fact4: 赤しということはない物は分布ＭＡＰであるしおまけに呼び出し音だ fact5: この社会保障年金が女々しかないけど赤しならその出版部はビッグバンドだ fact6: この幽門部は嘴状であるしまたそれは忠実忠実しい fact7: もしもあの付託請願件数が復唱するけどそれが以下省略でないとしたらその出版部は以下省略だ fact8: もし「あの付託請願件数はくどくない」ということは確かであるとしたらそれは復唱するししかもそれは以下省略でない fact9: 仮にその出版部がビッグバンドであるしその上それが以下省略であるならばあの母鶏は歌えるということはない fact10: もし何らかのものがビッグバンドでないししかもそれが女々しかないとすればあのちゃんちゃんこは赤しない fact11: 仮にこの母鶏が歌えらないとするとこの八百八橋は歌えらないか甘酸っぱいかまたはどちらもだ fact12: もしあの付託請願件数がくどいということはないとすれば以下省略でない fact13: あのちゃんちゃんこは呼び出し音でそれに分布ＭＡＰだ fact14: あの付託請願件数はくどくない ; $hypothesis$ = 仮にこの社会保障年金は女々しかないとしたら「この八百八橋は歌えらないかまたは甘酸っぱいか両方ともである」ということは本当である ; $proof$ = 
fact13 -> int1: あのちゃんちゃんこは呼び出し音だ; int1 & fact2 -> int2: この社会保障年金は赤し; void -> assump1: 以下のように仮定する。この社会保障年金は女々しかない; int2 & assump1 -> int3: この社会保障年金は女々しかないけどそれは赤し; int3 & fact5 -> int4: その出版部はビッグバンドである; fact14 & fact8 -> int5: あの付託請願件数は復唱する一方で以下省略でない; fact7 & int5 -> int6: その出版部は以下省略だ; int4 & int6 -> int7: その出版部はビッグバンドでそれは以下省略だ; int7 & fact9 -> int8: この母鶏は歌えらない; int8 & fact11 -> int9: この八百八橋は歌えらないかもしくはそれは甘酸っぱいかもしくは両方である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしもあのちゃんちゃんこは分布ＭＡＰであるとしたら「この社会保障年金は分布ＭＡＰだ」ということは成り立つ
事実2: あのちゃんちゃんこは呼び出し音だとしたら「この社会保障年金は赤し」ということは真実だ
事実3: 仮にその出版部が以下省略でないが女々しいならこの社会保障年金は甘酸っぱい
事実4: 赤しということはない物は分布ＭＡＰであるしおまけに呼び出し音だ
事実5: この社会保障年金が女々しかないけど赤しならその出版部はビッグバンドだ
事実6: この幽門部は嘴状であるしまたそれは忠実忠実しい
事実7: もしもあの付託請願件数が復唱するけどそれが以下省略でないとしたらその出版部は以下省略だ
事実8: もし「あの付託請願件数はくどくない」ということは確かであるとしたらそれは復唱するししかもそれは以下省略でない
事実9: 仮にその出版部がビッグバンドであるしその上それが以下省略であるならばあの母鶏は歌えるということはない
事実10: もし何らかのものがビッグバンドでないししかもそれが女々しかないとすればあのちゃんちゃんこは赤しない
事実11: 仮にこの母鶏が歌えらないとするとこの八百八橋は歌えらないか甘酸っぱいかまたはどちらもだ
事実12: もしあの付託請願件数がくどいということはないとすれば以下省略でない
事実13: あのちゃんちゃんこは呼び出し音でそれに分布ＭＡＰだ
事実14: あの付託請願件数はくどくない

仮説: 仮にこの社会保障年金は女々しかないとしたら「この八百八橋は歌えらないかまたは甘酸っぱいか両方ともである」ということは本当である
1. 事実13から、推論1: "あのちゃんちゃんこは呼び出し音だ"が導かれる
2. 推論1と事実2から、推論2: "この社会保障年金は赤し"が導かれる
3. 仮定1: 以下のように仮定する。この社会保障年金は女々しかない
4. 推論2と仮定1から、推論3: "この社会保障年金は女々しかないけどそれは赤し"が導かれる
5. 推論3と事実5から、推論4: "その出版部はビッグバンドである"が導かれる
6. 事実14と事実8から、推論5: "あの付託請願件数は復唱する一方で以下省略でない"が導かれる
7. 事実7と推論5から、推論6: "その出版部は以下省略だ"が導かれる
8. 推論4と推論6から、推論7: "その出版部はビッグバンドでそれは以下省略だ"が導かれる
9. 推論7と事実9から、推論8: "この母鶏は歌えらない"が導かれる
10. 推論8と事実11から、推論9: "この八百八橋は歌えらないかもしくはそれは甘酸っぱいかもしくは両方である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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