その三種合掌は天皇親政である
fact1: その三種合掌は疲れ難くない fact2: もし仮になにかは遺贈するとすると「あのミュータントは遺贈しないけどそれは従える」ということは偽だ fact3: その三種合掌は大伽藍でない fact4: 「遺贈する」ものはある fact5: 仮にその高層ビル群が天皇親政でないがしかし葬り去るとしたらその三種合掌は天皇親政でない fact6: 仮に「呼吸機能検査でない」ものはあるとしたら「その埋没車両はネイティブらしいけれど倒れ込まない」ということは成り立たない fact7: もしなんらかの物が葬り去るしおまけにそれは天皇親政であるならそれは大伽藍でない fact8: この氏神さんは支持し続けなくてその上天皇親政でない fact9: もしも何らかの物が倒れ込まないとすると葬り去るしかつ天皇親政である fact10: その三種合掌は落とさない fact11: もしもその三種合掌が落とさないならば呼吸機能検査でなくて更にそれは成ず fact12: 「あの雷は葬り去る」ということは事実である fact13: 「その三種合掌は葬り去らない」ということは成り立つ fact14: もしもなんらかの物が大伽藍であるということはないとすると面目無くないし更にそれは東・西でない fact15: もしなにかは大伽藍でないしさらに葬り去らないとしたら天皇親政だ fact16: 「とある物は遺贈しないけれど従える」ということは間違いであるなら熱し易くない fact17: もしもあるものが呼吸機能検査でないならばそれは倒れ込まないかそれはネイティブらしいということはないかまたは両方である fact18: もし「「そのＣチャイルドビューは落とすし成ず」ということは確かだ」ということは成り立たないならばこの植林プロジェクトは呼吸機能検査でない fact19: 仮に「倒れ込まないかまたはネイティブらしくないかまたは両方ともである」ものがあるならばあの責任免除は倒れ込むということはない fact20: もしあのミュータントは熱し易くないとすれば「そのＣチャイルドビューは落とすし成ず」ということは成り立つということはない
fact3 & fact13 -> int1: その三種合掌は大伽藍でないしおまけにそれは葬り去るということはない; fact15 -> int2: もしもその三種合掌は大伽藍でないしさらに葬り去らないならば「天皇親政だ」ということは確かだ; int1 & int2 -> hypothesis;
この責任免除は面目無くないし東・西でない
fact21 -> int3: もしもこの責任免除が大伽藍だということはないとしたらそれは面目無くなくてそれは東・西でない; fact24 -> int4: もし仮にこの責任免除は葬り去るししかも天皇親政であるなら大伽藍でない; fact25 -> int5: もしもこの責任免除が倒れ込まないならばそれは葬り去るし加えて天皇親政である; fact27 -> int6: もし仮にその三種合掌が呼吸機能検査でないとしたらそれは倒れ込まないかもしくはネイティブらしくないかまたは両方ともだ; fact26 & fact23 -> int7: その三種合掌は呼吸機能検査でないけれど成ず; int7 -> int8: その三種合掌は呼吸機能検査でない; int6 & int8 -> int9: その三種合掌は倒れ込まないかもしくはそれはネイティブらしくない; int9 -> int10: なにがしかの物は倒れ込むということはないかネイティブらしくないかどちらもである; int10 & fact22 -> int11: この責任免除は倒れ込むということはない; int5 & int11 -> int12: この責任免除は葬り去るし加えて天皇親政である; int4 & int12 -> int13: この責任免除は大伽藍でない; int3 & int13 -> hypothesis;
$facts$ = fact1: その三種合掌は疲れ難くない fact2: もし仮になにかは遺贈するとすると「あのミュータントは遺贈しないけどそれは従える」ということは偽だ fact3: その三種合掌は大伽藍でない fact4: 「遺贈する」ものはある fact5: 仮にその高層ビル群が天皇親政でないがしかし葬り去るとしたらその三種合掌は天皇親政でない fact6: 仮に「呼吸機能検査でない」ものはあるとしたら「その埋没車両はネイティブらしいけれど倒れ込まない」ということは成り立たない fact7: もしなんらかの物が葬り去るしおまけにそれは天皇親政であるならそれは大伽藍でない fact8: この氏神さんは支持し続けなくてその上天皇親政でない fact9: もしも何らかの物が倒れ込まないとすると葬り去るしかつ天皇親政である fact10: その三種合掌は落とさない fact11: もしもその三種合掌が落とさないならば呼吸機能検査でなくて更にそれは成ず fact12: 「あの雷は葬り去る」ということは事実である fact13: 「その三種合掌は葬り去らない」ということは成り立つ fact14: もしもなんらかの物が大伽藍であるということはないとすると面目無くないし更にそれは東・西でない fact15: もしなにかは大伽藍でないしさらに葬り去らないとしたら天皇親政だ fact16: 「とある物は遺贈しないけれど従える」ということは間違いであるなら熱し易くない fact17: もしもあるものが呼吸機能検査でないならばそれは倒れ込まないかそれはネイティブらしいということはないかまたは両方である fact18: もし「「そのＣチャイルドビューは落とすし成ず」ということは確かだ」ということは成り立たないならばこの植林プロジェクトは呼吸機能検査でない fact19: 仮に「倒れ込まないかまたはネイティブらしくないかまたは両方ともである」ものがあるならばあの責任免除は倒れ込むということはない fact20: もしあのミュータントは熱し易くないとすれば「そのＣチャイルドビューは落とすし成ず」ということは成り立つということはない ; $hypothesis$ = その三種合掌は天皇親政である ; $proof$ = 
fact3 & fact13 -> int1: その三種合掌は大伽藍でないしおまけにそれは葬り去るということはない; fact15 -> int2: もしもその三種合掌は大伽藍でないしさらに葬り去らないならば「天皇親政だ」ということは確かだ; int1 & int2 -> hypothesis; __PROVED__
事実1: その三種合掌は疲れ難くない
事実2: もし仮になにかは遺贈するとすると「あのミュータントは遺贈しないけどそれは従える」ということは偽だ
事実3: その三種合掌は大伽藍でない
事実4: 「遺贈する」ものはある
事実5: 仮にその高層ビル群が天皇親政でないがしかし葬り去るとしたらその三種合掌は天皇親政でない
事実6: 仮に「呼吸機能検査でない」ものはあるとしたら「その埋没車両はネイティブらしいけれど倒れ込まない」ということは成り立たない
事実7: もしなんらかの物が葬り去るしおまけにそれは天皇親政であるならそれは大伽藍でない
事実8: この氏神さんは支持し続けなくてその上天皇親政でない
事実9: もしも何らかの物が倒れ込まないとすると葬り去るしかつ天皇親政である
事実10: その三種合掌は落とさない
事実11: もしもその三種合掌が落とさないならば呼吸機能検査でなくて更にそれは成ず
事実12: 「あの雷は葬り去る」ということは事実である
事実13: 「その三種合掌は葬り去らない」ということは成り立つ
事実14: もしもなんらかの物が大伽藍であるということはないとすると面目無くないし更にそれは東・西でない
事実15: もしなにかは大伽藍でないしさらに葬り去らないとしたら天皇親政だ
事実16: 「とある物は遺贈しないけれど従える」ということは間違いであるなら熱し易くない
事実17: もしもあるものが呼吸機能検査でないならばそれは倒れ込まないかそれはネイティブらしいということはないかまたは両方である
事実18: もし「「そのＣチャイルドビューは落とすし成ず」ということは確かだ」ということは成り立たないならばこの植林プロジェクトは呼吸機能検査でない
事実19: 仮に「倒れ込まないかまたはネイティブらしくないかまたは両方ともである」ものがあるならばあの責任免除は倒れ込むということはない
事実20: もしあのミュータントは熱し易くないとすれば「そのＣチャイルドビューは落とすし成ず」ということは成り立つということはない

仮説: その三種合掌は天皇親政である
1. 事実3と事実13から、推論1: "その三種合掌は大伽藍でないしおまけにそれは葬り去るということはない"が導かれる
2. 事実15から、推論2: "もしもその三種合掌は大伽藍でないしさらに葬り去らないならば「天皇親政だ」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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