あの五種類は惨い
fact1: もしもとある物はシェリー風味型抜き参照であるとするとそれは踏み付ける fact2: もしその七兆円弱が流刑しないならば冬芽だしかつ短腕である fact3: その不定型は惨い fact4: その七兆円弱は冬芽であるしさらに短腕であるとすれば騙され易いということはない fact5: もし仮にその七兆円弱が騙され易いということはないとしたらそれは惨いししかもシェリー風味型抜き参照である fact6: あの五種類は惨い
fact6 -> hypothesis;
fact6 -> hypothesis;
あの五種類は惨くない
fact7 -> int1: 仮に「その七兆円弱はシェリー風味型抜き参照でない」ということは成り立たないとすれば踏み付ける;
$facts$ = fact1: もしもとある物はシェリー風味型抜き参照であるとするとそれは踏み付ける fact2: もしその七兆円弱が流刑しないならば冬芽だしかつ短腕である fact3: その不定型は惨い fact4: その七兆円弱は冬芽であるしさらに短腕であるとすれば騙され易いということはない fact5: もし仮にその七兆円弱が騙され易いということはないとしたらそれは惨いししかもシェリー風味型抜き参照である fact6: あの五種類は惨い ; $hypothesis$ = あの五種類は惨い ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしもとある物はシェリー風味型抜き参照であるとするとそれは踏み付ける
事実2: もしその七兆円弱が流刑しないならば冬芽だしかつ短腕である
事実3: その不定型は惨い
事実4: その七兆円弱は冬芽であるしさらに短腕であるとすれば騙され易いということはない
事実5: もし仮にその七兆円弱が騙され易いということはないとしたらそれは惨いししかもシェリー風味型抜き参照である
事実6: あの五種類は惨い

仮説: あの五種類は惨い
1. 事実6から、仮説が導かれる

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