仮にあの意味的対立は検挙するとするとそのアンシャン・レジームはあやさないけどそれは上げ難い
fact1: もしもあの意味的対立が検挙するとすればそのアンシャン・レジームは結婚し為さる fact2: 仮になんらかの物は鞣革であるしかつ結婚し為さるなら「それはあやさない」ということは事実である fact3: そのアンシャン・レジームは鞣革である fact4: もしそのアンシャン・レジームは賛美しないとすれば「それは上げ難い」ということは成り立つ fact5: なにがしかの物は鞣革でないとすると「物悲しい」ということは真実である fact6: もしなにがしかの物が迷い難くないならそれは上げ難い fact7: そのアンシャン・レジームは賛美しないかそれは迷い難くないか両方だ
void -> assump1: 以下のように仮定する。あの意味的対立は検挙する; fact1 & assump1 -> int1: そのアンシャン・レジームは結婚し為さる; int1 & fact3 -> int2: そのアンシャン・レジームは鞣革であるしおまけに結婚し為さる; fact2 -> int3: もしそのアンシャン・レジームが鞣革だし加えて結婚し為さるとするとあやさない; int2 & int3 -> int4: そのアンシャン・レジームはあやさない; fact6 -> int5: 仮にそのアンシャン・レジームが迷い難くないならそれは上げ難い; fact7 & int5 & fact4 -> int6: そのアンシャン・レジームは上げ難い; int4 & int6 -> int7: そのアンシャン・レジームはあやさないが上げ難い; [assump1] & int7 -> hypothesis;
もし仮に「そのアンシャン・レジームは鞣革でない」ということは事実だとすると物悲しい
fact8 -> hypothesis;
$facts$ = fact1: もしもあの意味的対立が検挙するとすればそのアンシャン・レジームは結婚し為さる fact2: 仮になんらかの物は鞣革であるしかつ結婚し為さるなら「それはあやさない」ということは事実である fact3: そのアンシャン・レジームは鞣革である fact4: もしそのアンシャン・レジームは賛美しないとすれば「それは上げ難い」ということは成り立つ fact5: なにがしかの物は鞣革でないとすると「物悲しい」ということは真実である fact6: もしなにがしかの物が迷い難くないならそれは上げ難い fact7: そのアンシャン・レジームは賛美しないかそれは迷い難くないか両方だ ; $hypothesis$ = 仮にあの意味的対立は検挙するとするとそのアンシャン・レジームはあやさないけどそれは上げ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの意味的対立は検挙する; fact1 & assump1 -> int1: そのアンシャン・レジームは結婚し為さる; int1 & fact3 -> int2: そのアンシャン・レジームは鞣革であるしおまけに結婚し為さる; fact2 -> int3: もしそのアンシャン・レジームが鞣革だし加えて結婚し為さるとするとあやさない; int2 & int3 -> int4: そのアンシャン・レジームはあやさない; fact6 -> int5: 仮にそのアンシャン・レジームが迷い難くないならそれは上げ難い; fact7 & int5 & fact4 -> int6: そのアンシャン・レジームは上げ難い; int4 & int6 -> int7: そのアンシャン・レジームはあやさないが上げ難い; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもあの意味的対立が検挙するとすればそのアンシャン・レジームは結婚し為さる
事実2: 仮になんらかの物は鞣革であるしかつ結婚し為さるなら「それはあやさない」ということは事実である
事実3: そのアンシャン・レジームは鞣革である
事実4: もしそのアンシャン・レジームは賛美しないとすれば「それは上げ難い」ということは成り立つ
事実5: なにがしかの物は鞣革でないとすると「物悲しい」ということは真実である
事実6: もしなにがしかの物が迷い難くないならそれは上げ難い
事実7: そのアンシャン・レジームは賛美しないかそれは迷い難くないか両方だ

仮説: 仮にあの意味的対立は検挙するとするとそのアンシャン・レジームはあやさないけどそれは上げ難い
1. 仮定1: 以下のように仮定する。あの意味的対立は検挙する
2. 事実1と仮定1から、推論1: "そのアンシャン・レジームは結婚し為さる"が導かれる
3. 推論1と事実3から、推論2: "そのアンシャン・レジームは鞣革であるしおまけに結婚し為さる"が導かれる
4. 事実2から、推論3: "もしそのアンシャン・レジームが鞣革だし加えて結婚し為さるとするとあやさない"が導かれる
5. 推論2と推論3から、推論4: "そのアンシャン・レジームはあやさない"が導かれる
6. 事実6から、推論5: "仮にそのアンシャン・レジームが迷い難くないならそれは上げ難い"が導かれる
7. 事実7と推論5と事実4から、推論6: "そのアンシャン・レジームは上げ難い"が導かれる
8. 推論4と推論6から、推論7: "そのアンシャン・レジームはあやさないが上げ難い"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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