もしこの賠償義務が無いならばあのマットは心底だ
fact1: この電波法が公式発表するとしたらこのマットは心底だ fact2: 仮にこのマットは心底であるとしたらそれは浅ましくない fact3: なにがしかの物が心底だしおまけにそれは公式発表する fact4: もしも心底は心しないとすれば「このマットは浅ましい」ということは真実だ fact5: このマットは心底であるとしたらそれは無くない fact6: とあるものは心しない fact7: 「この賠償義務は公式発表するけれど心しない」ということは本当だ fact8: この賠償義務は心するということはない fact9: もし仮に「この賠償義務は浅ましいがしかしそれは心しない」ということは間違っているとすると「それは無くない」ということは成り立つ fact10: 「仮にこの賠償義務が心すればこの賠償義務は無くない」ということは成り立つ fact11: 「この賠償義務は浅ましいしおまけに心する」ということは確かでない fact12: その田園は出会い易いがしかし乱さない fact13: もし「浅ましくてまた心する」ものがあるならこの電波法は公式発表する fact14: このマットが公式発表するとするとこの電波法は心底だ fact15: その表紙は無い fact16: この賠償義務は公式発表するけど優遇するということはない fact17: 「この賠償義務は心するがしかし公式発表しない」ということは成り立たない fact18: 「この賠償義務は公式発表する」ということは誤りでない fact19: この電波法は磨けない fact20: この電波法は無い fact21: 仮に浅ましいものが心しないとしたらこの電波法は公式発表する fact22: もし仮に「この賠償義務は浅ましいけれど心しない」ということは確かでないとすれば無い
void -> assump2: 以下のように仮定する。「この賠償義務は浅ましいがしかしそれは心しない」ということは成り立たない; fact9 & assump2 -> int1: この賠償義務は無くない; void -> assump1: 以下のように仮定する。この賠償義務は無い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この賠償義務は浅ましいけど心しない; int3 -> int4: あるものは浅ましいが心するということはない; int4 & fact21 -> int5: この電波法は公式発表する; int5 & fact1 -> int6: 「このマットは心底である」ということは間違っていない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この電波法が公式発表するとしたらこのマットは心底だ fact2: 仮にこのマットは心底であるとしたらそれは浅ましくない fact3: なにがしかの物が心底だしおまけにそれは公式発表する fact4: もしも心底は心しないとすれば「このマットは浅ましい」ということは真実だ fact5: このマットは心底であるとしたらそれは無くない fact6: とあるものは心しない fact7: 「この賠償義務は公式発表するけれど心しない」ということは本当だ fact8: この賠償義務は心するということはない fact9: もし仮に「この賠償義務は浅ましいがしかしそれは心しない」ということは間違っているとすると「それは無くない」ということは成り立つ fact10: 「仮にこの賠償義務が心すればこの賠償義務は無くない」ということは成り立つ fact11: 「この賠償義務は浅ましいしおまけに心する」ということは確かでない fact12: その田園は出会い易いがしかし乱さない fact13: もし「浅ましくてまた心する」ものがあるならこの電波法は公式発表する fact14: このマットが公式発表するとするとこの電波法は心底だ fact15: その表紙は無い fact16: この賠償義務は公式発表するけど優遇するということはない fact17: 「この賠償義務は心するがしかし公式発表しない」ということは成り立たない fact18: 「この賠償義務は公式発表する」ということは誤りでない fact19: この電波法は磨けない fact20: この電波法は無い fact21: 仮に浅ましいものが心しないとしたらこの電波法は公式発表する fact22: もし仮に「この賠償義務は浅ましいけれど心しない」ということは確かでないとすれば無い ; $hypothesis$ = もしこの賠償義務が無いならばあのマットは心底だ ; $proof$ = 
void -> assump2: 以下のように仮定する。「この賠償義務は浅ましいがしかしそれは心しない」ということは成り立たない; fact9 & assump2 -> int1: この賠償義務は無くない; void -> assump1: 以下のように仮定する。この賠償義務は無い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この賠償義務は浅ましいけど心しない; int3 -> int4: あるものは浅ましいが心するということはない; int4 & fact21 -> int5: この電波法は公式発表する; int5 & fact1 -> int6: 「このマットは心底である」ということは間違っていない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この電波法が公式発表するとしたらこのマットは心底だ
事実2: 仮にこのマットは心底であるとしたらそれは浅ましくない
事実3: なにがしかの物が心底だしおまけにそれは公式発表する
事実4: もしも心底は心しないとすれば「このマットは浅ましい」ということは真実だ
事実5: このマットは心底であるとしたらそれは無くない
事実6: とあるものは心しない
事実7: 「この賠償義務は公式発表するけれど心しない」ということは本当だ
事実8: この賠償義務は心するということはない
事実9: もし仮に「この賠償義務は浅ましいがしかしそれは心しない」ということは間違っているとすると「それは無くない」ということは成り立つ
事実10: 「仮にこの賠償義務が心すればこの賠償義務は無くない」ということは成り立つ
事実11: 「この賠償義務は浅ましいしおまけに心する」ということは確かでない
事実12: その田園は出会い易いがしかし乱さない
事実13: もし「浅ましくてまた心する」ものがあるならこの電波法は公式発表する
事実14: このマットが公式発表するとするとこの電波法は心底だ
事実15: その表紙は無い
事実16: この賠償義務は公式発表するけど優遇するということはない
事実17: 「この賠償義務は心するがしかし公式発表しない」ということは成り立たない
事実18: 「この賠償義務は公式発表する」ということは誤りでない
事実19: この電波法は磨けない
事実20: この電波法は無い
事実21: 仮に浅ましいものが心しないとしたらこの電波法は公式発表する
事実22: もし仮に「この賠償義務は浅ましいけれど心しない」ということは確かでないとすれば無い

仮説: もしこの賠償義務が無いならばあのマットは心底だ
1. 仮定2: 以下のように仮定する。「この賠償義務は浅ましいがしかしそれは心しない」ということは成り立たない
2. 事実9と仮定2から、推論1: "この賠償義務は無くない"が導かれる
3. 仮定1: 以下のように仮定する。この賠償義務は無い
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この賠償義務は浅ましいけど心しない"が導かれる
6. 推論3から、推論4: "あるものは浅ましいが心するということはない"が導かれる
7. 推論4と事実21から、推論5: "この電波法は公式発表する"が導かれる
8. 推論5と事実1から、推論6: "「このマットは心底である」ということは間違っていない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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