「もし仮に手探りでないとすると「潜めるし座れる」ということは事実と異なる」物はある
fact1: 「減価償却等でないとしたら「ぽっちゃりするしおまけに散乱する」ということは間違っている」物はある fact2: もしもとあるものは潜めないとしたら「黴臭くて加えて想像し難い」ということは偽である fact3: もしもあの五念が手探りでないとすればそれは潜めるしおまけに座れる fact4: もしあの五念は手探りでないならば「潜めるしそれは座れる」ということは成り立つということはない fact5: 仮にあの五念は潜めるとすれば「それは細胞内ＣＡだし釜飯である」ということは誤っている
fact4 -> hypothesis;
fact4 -> hypothesis;
この地場輸出は潜めないとすると「黴臭いしさらに想像し難い」ということは嘘である
fact6 -> hypothesis;
$facts$ = fact1: 「減価償却等でないとしたら「ぽっちゃりするしおまけに散乱する」ということは間違っている」物はある fact2: もしもとあるものは潜めないとしたら「黴臭くて加えて想像し難い」ということは偽である fact3: もしもあの五念が手探りでないとすればそれは潜めるしおまけに座れる fact4: もしあの五念は手探りでないならば「潜めるしそれは座れる」ということは成り立つということはない fact5: 仮にあの五念は潜めるとすれば「それは細胞内ＣＡだし釜飯である」ということは誤っている ; $hypothesis$ = 「もし仮に手探りでないとすると「潜めるし座れる」ということは事実と異なる」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「減価償却等でないとしたら「ぽっちゃりするしおまけに散乱する」ということは間違っている」物はある
事実2: もしもとあるものは潜めないとしたら「黴臭くて加えて想像し難い」ということは偽である
事実3: もしもあの五念が手探りでないとすればそれは潜めるしおまけに座れる
事実4: もしあの五念は手探りでないならば「潜めるしそれは座れる」ということは成り立つということはない
事実5: 仮にあの五念は潜めるとすれば「それは細胞内ＣＡだし釜飯である」ということは誤っている

仮説: 「もし仮に手探りでないとすると「潜めるし座れる」ということは事実と異なる」物はある
1. 事実4から、仮説が導かれる

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