その床全体は済度するけどそれは平板でない
fact1: もし仮になにかは一歩中でないとすると「それは平板であるしさらに本する」ということは誤りだ fact2: 仮にこの公邸が本すればその床全体は本する fact3: 仮に何らかのものは本するとすれば「済度するしそれは平板でない」ということは嘘だ fact4: 仮にとあるものが御引き取り願わないなら生き難くないししかも丸呑みするということはない fact5: 「仮にその貨幣収入は分析者なら「この公邸はしおらしくない一方で切ない」ということは間違いだ」ということは事実と異ならない fact6: 仮に「その城塞都市は天然蜜であるけれど図太くない」ということは誤りであるならそれは図太い fact7: この公邸は一歩中でない fact8: その貨幣収入が一歩中だけれどそれが林野率でないならその床全体は一歩中でない fact9: 「「その床全体は平板であるしまた本する」ということは確かである」ということは成り立たないならこの公邸は平板でない fact10: 「何らかのものは洗い上げるということはない」ということは成り立つとすると「それは本するしかつ一歩中だ」ということは事実である fact11: もし仮に「なんらかのものはしおらしくないけど切ない」ということは偽であるとするとそれは御引き取り願うということはない fact12: 仮に何らかのものが洗い上げないならば一歩中で更に林野率でない fact13: 仮にその城塞都市が図太いならその貨幣収入は分析者である fact14: もしある物は丸呑みしないなら「それは林野率であるということはなくてそれにそれは出し易い」ということは偽だ fact15: もし仮に「なにがしかのものは林野率だということはないけれど出し易い」ということは成り立たないならば洗い上げるということはない fact16: もし「その床全体は済度するけど平板でない」ということは嘘ならばこの公邸は一歩中だ
void -> assump1: 以下のように仮定する。「その床全体は済度するが平板でない」ということは誤りだ; fact16 & assump1 -> int1: この公邸は一歩中である; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「その床全体は済度するがしかしそれは平板でない」ということは間違っている
fact21 -> int3: もしもその床全体は本するとすれば「それは済度するし平板でない」ということは真実でない; fact23 -> int4: 仮にこの公邸が洗い上げないとすればそれは本するしそれに一歩中だ; fact22 -> int5: 仮に「この公邸は林野率であるということはないけどそれは出し易い」ということは間違っているとすればそれは洗い上げない; fact20 -> int6: 仮にこの公邸は丸呑みしないなら「林野率であるということはなくてそれに出し易い」ということは成り立たない; fact24 -> int7: もし仮にこの公邸が御引き取り願わないならそれは生き難くないしおまけに丸呑みしない; fact26 -> int8: もし仮に「この公邸はしおらしくないけど切ない」ということは成り立つということはないとすると御引き取り願わない;
$facts$ = fact1: もし仮になにかは一歩中でないとすると「それは平板であるしさらに本する」ということは誤りだ fact2: 仮にこの公邸が本すればその床全体は本する fact3: 仮に何らかのものは本するとすれば「済度するしそれは平板でない」ということは嘘だ fact4: 仮にとあるものが御引き取り願わないなら生き難くないししかも丸呑みするということはない fact5: 「仮にその貨幣収入は分析者なら「この公邸はしおらしくない一方で切ない」ということは間違いだ」ということは事実と異ならない fact6: 仮に「その城塞都市は天然蜜であるけれど図太くない」ということは誤りであるならそれは図太い fact7: この公邸は一歩中でない fact8: その貨幣収入が一歩中だけれどそれが林野率でないならその床全体は一歩中でない fact9: 「「その床全体は平板であるしまた本する」ということは確かである」ということは成り立たないならこの公邸は平板でない fact10: 「何らかのものは洗い上げるということはない」ということは成り立つとすると「それは本するしかつ一歩中だ」ということは事実である fact11: もし仮に「なんらかのものはしおらしくないけど切ない」ということは偽であるとするとそれは御引き取り願うということはない fact12: 仮に何らかのものが洗い上げないならば一歩中で更に林野率でない fact13: 仮にその城塞都市が図太いならその貨幣収入は分析者である fact14: もしある物は丸呑みしないなら「それは林野率であるということはなくてそれにそれは出し易い」ということは偽だ fact15: もし仮に「なにがしかのものは林野率だということはないけれど出し易い」ということは成り立たないならば洗い上げるということはない fact16: もし「その床全体は済度するけど平板でない」ということは嘘ならばこの公邸は一歩中だ ; $hypothesis$ = その床全体は済度するけどそれは平板でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その床全体は済度するが平板でない」ということは誤りだ; fact16 & assump1 -> int1: この公邸は一歩中である; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮になにかは一歩中でないとすると「それは平板であるしさらに本する」ということは誤りだ
事実2: 仮にこの公邸が本すればその床全体は本する
事実3: 仮に何らかのものは本するとすれば「済度するしそれは平板でない」ということは嘘だ
事実4: 仮にとあるものが御引き取り願わないなら生き難くないししかも丸呑みするということはない
事実5: 「仮にその貨幣収入は分析者なら「この公邸はしおらしくない一方で切ない」ということは間違いだ」ということは事実と異ならない
事実6: 仮に「その城塞都市は天然蜜であるけれど図太くない」ということは誤りであるならそれは図太い
事実7: この公邸は一歩中でない
事実8: その貨幣収入が一歩中だけれどそれが林野率でないならその床全体は一歩中でない
事実9: 「「その床全体は平板であるしまた本する」ということは確かである」ということは成り立たないならこの公邸は平板でない
事実10: 「何らかのものは洗い上げるということはない」ということは成り立つとすると「それは本するしかつ一歩中だ」ということは事実である
事実11: もし仮に「なんらかのものはしおらしくないけど切ない」ということは偽であるとするとそれは御引き取り願うということはない
事実12: 仮に何らかのものが洗い上げないならば一歩中で更に林野率でない
事実13: 仮にその城塞都市が図太いならその貨幣収入は分析者である
事実14: もしある物は丸呑みしないなら「それは林野率であるということはなくてそれにそれは出し易い」ということは偽だ
事実15: もし仮に「なにがしかのものは林野率だということはないけれど出し易い」ということは成り立たないならば洗い上げるということはない
事実16: もし「その床全体は済度するけど平板でない」ということは嘘ならばこの公邸は一歩中だ

仮説: その床全体は済度するけどそれは平板でない
1. 仮定1: 以下のように仮定する。「その床全体は済度するが平板でない」ということは誤りだ
2. 事実16と仮定1から、推論1: "この公邸は一歩中である"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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