その不味さは美し
fact1: もし仮になにかは格好付けるしまた馴れ馴れしいとすればそれは美し fact2: 全ての物は格好付けなくて加えて馴れ馴れしい fact3: もし何かは格好付けないがしかし馴れ馴れしいならば美し fact4: その不味さは格好付けない fact5: 美しない物は弱々しいし中心的位置だ fact6: 仮にその不味さは格好付けるし馴れ馴れしいなら「美し」ということは本当だ fact7: 全ての物は格好付けない
fact3 -> int1: もし仮にその不味さが格好付けないがしかしそれが馴れ馴れしいとしたらそれは美し; fact2 -> int2: その不味さは格好付けないけど馴れ馴れしい; int1 & int2 -> hypothesis;
あの投資量は中心的位置だ
fact8 -> int3: もしあの投資量が美しないならそれは弱々しいし加えて中心的位置だ;
$facts$ = fact1: もし仮になにかは格好付けるしまた馴れ馴れしいとすればそれは美し fact2: 全ての物は格好付けなくて加えて馴れ馴れしい fact3: もし何かは格好付けないがしかし馴れ馴れしいならば美し fact4: その不味さは格好付けない fact5: 美しない物は弱々しいし中心的位置だ fact6: 仮にその不味さは格好付けるし馴れ馴れしいなら「美し」ということは本当だ fact7: 全ての物は格好付けない ; $hypothesis$ = その不味さは美し ; $proof$ = 
fact3 -> int1: もし仮にその不味さが格好付けないがしかしそれが馴れ馴れしいとしたらそれは美し; fact2 -> int2: その不味さは格好付けないけど馴れ馴れしい; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮になにかは格好付けるしまた馴れ馴れしいとすればそれは美し
事実2: 全ての物は格好付けなくて加えて馴れ馴れしい
事実3: もし何かは格好付けないがしかし馴れ馴れしいならば美し
事実4: その不味さは格好付けない
事実5: 美しない物は弱々しいし中心的位置だ
事実6: 仮にその不味さは格好付けるし馴れ馴れしいなら「美し」ということは本当だ
事実7: 全ての物は格好付けない

仮説: その不味さは美し
1. 事実3から、推論1: "もし仮にその不味さが格好付けないがしかしそれが馴れ馴れしいとしたらそれは美し"が導かれる
2. 事実2から、推論2: "その不味さは格好付けないけど馴れ馴れしい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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