この燠は浅くない
fact1: もしもその有法が影響され易いということはなくておまけにそれが自然らしいということはないとすればそれは転換出来る fact2: もしもその有法は影響され易いがしかし自然らしくないとしたら転換出来る fact3: 「その有法は緊張しないがそれは太い」ということは確かでない fact4: 「その有法は緊張するけど太くない」ということは事実と異なる fact5: なにかは不眠症だ fact6: もし仮にその有法は転換出来るとすると「それが緊張しないしさらに太い」ということは成り立つということはない fact7: もし何らかの物は転換出来るとしたら「それは緊張しないし更にそれは太い」ということは成り立たない fact8: もし仮にその有法が儚しとするとそれは緊張する fact9: 「その有法は緊張しないしそれは太くない」ということは正しくないとすればあの燠は浅くない fact10: 何らかのものは転換出来れば「緊張しないしそれに太くない」ということは成り立たない fact11: 仮にあるものは転換出来れば「「それは緊張するがしかし太くない」ということは嘘だということはない」ということは成り立つということはない fact12: その有法は影響され易いということはないししかも自然らしくない fact13: 何らかの物は影響され易いとすると「それは浅くなくておまけに緊張しない」ということは成り立つということはない fact14: 太い物は浅い fact15: その有法は影響され易くない fact16: もしその有法は転換出来るとしたら「それは緊張する一方で太くない」ということは成り立たない
fact1 & fact12 -> int1: その有法は転換出来る; fact10 -> int2: もしもその有法は転換出来るとすれば「緊張するということはないしおまけにそれは太くない」ということは成り立たない; int1 & int2 -> int3: 「「その有法は緊張しないしそれにそれは太くない」ということは間違っている」ということは成り立つ; int3 & fact9 -> hypothesis;
「この燠は浅い」ということは本当だ
fact19 -> int4: もしも「この燠は太い」ということは成り立つとすればそれは浅い;
$facts$ = fact1: もしもその有法が影響され易いということはなくておまけにそれが自然らしいということはないとすればそれは転換出来る fact2: もしもその有法は影響され易いがしかし自然らしくないとしたら転換出来る fact3: 「その有法は緊張しないがそれは太い」ということは確かでない fact4: 「その有法は緊張するけど太くない」ということは事実と異なる fact5: なにかは不眠症だ fact6: もし仮にその有法は転換出来るとすると「それが緊張しないしさらに太い」ということは成り立つということはない fact7: もし何らかの物は転換出来るとしたら「それは緊張しないし更にそれは太い」ということは成り立たない fact8: もし仮にその有法が儚しとするとそれは緊張する fact9: 「その有法は緊張しないしそれは太くない」ということは正しくないとすればあの燠は浅くない fact10: 何らかのものは転換出来れば「緊張しないしそれに太くない」ということは成り立たない fact11: 仮にあるものは転換出来れば「「それは緊張するがしかし太くない」ということは嘘だということはない」ということは成り立つということはない fact12: その有法は影響され易いということはないししかも自然らしくない fact13: 何らかの物は影響され易いとすると「それは浅くなくておまけに緊張しない」ということは成り立つということはない fact14: 太い物は浅い fact15: その有法は影響され易くない fact16: もしその有法は転換出来るとしたら「それは緊張する一方で太くない」ということは成り立たない ; $hypothesis$ = この燠は浅くない ; $proof$ = 
fact1 & fact12 -> int1: その有法は転換出来る; fact10 -> int2: もしもその有法は転換出来るとすれば「緊張するということはないしおまけにそれは太くない」ということは成り立たない; int1 & int2 -> int3: 「「その有法は緊張しないしそれにそれは太くない」ということは間違っている」ということは成り立つ; int3 & fact9 -> hypothesis; __PROVED__
事実1: もしもその有法が影響され易いということはなくておまけにそれが自然らしいということはないとすればそれは転換出来る
事実2: もしもその有法は影響され易いがしかし自然らしくないとしたら転換出来る
事実3: 「その有法は緊張しないがそれは太い」ということは確かでない
事実4: 「その有法は緊張するけど太くない」ということは事実と異なる
事実5: なにかは不眠症だ
事実6: もし仮にその有法は転換出来るとすると「それが緊張しないしさらに太い」ということは成り立つということはない
事実7: もし何らかの物は転換出来るとしたら「それは緊張しないし更にそれは太い」ということは成り立たない
事実8: もし仮にその有法が儚しとするとそれは緊張する
事実9: 「その有法は緊張しないしそれは太くない」ということは正しくないとすればあの燠は浅くない
事実10: 何らかのものは転換出来れば「緊張しないしそれに太くない」ということは成り立たない
事実11: 仮にあるものは転換出来れば「「それは緊張するがしかし太くない」ということは嘘だということはない」ということは成り立つということはない
事実12: その有法は影響され易いということはないししかも自然らしくない
事実13: 何らかの物は影響され易いとすると「それは浅くなくておまけに緊張しない」ということは成り立つということはない
事実14: 太い物は浅い
事実15: その有法は影響され易くない
事実16: もしその有法は転換出来るとしたら「それは緊張する一方で太くない」ということは成り立たない

仮説: この燠は浅くない
1. 事実1と事実12から、推論1: "その有法は転換出来る"が導かれる
2. 事実10から、推論2: "もしもその有法は転換出来るとすれば「緊張するということはないしおまけにそれは太くない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「「その有法は緊張しないしそれにそれは太くない」ということは間違っている」ということは成り立つ"が導かれる
4. 推論3と事実9から、仮説が導かれる

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