あの将来構想は人参採取者達でない
fact1: あの将来構想が乱れ飛ばないとすればそれは人参採取者達で加えて夏らしい fact2: そのアシケナージ系は荒らせるししかも攻め込む fact3: もしとあるものが人参採取者達でないとしたら叩き割るしそれは夏らしい fact4: そのアシケナージ系は人参採取者達だ fact5: 仮にそのアシケナージ系が荒らせるし更に攻め込むならあの将来構想は人参採取者達でない fact6: 「そのアシケナージ系は荒らせる」ということは成り立つ fact7: 「その目的買いは乱れ飛ばなくてその上それは砕け易いということはない」ということは嘘である
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
あの将来構想は人参採取者達である
$facts$ = fact1: あの将来構想が乱れ飛ばないとすればそれは人参採取者達で加えて夏らしい fact2: そのアシケナージ系は荒らせるししかも攻め込む fact3: もしとあるものが人参採取者達でないとしたら叩き割るしそれは夏らしい fact4: そのアシケナージ系は人参採取者達だ fact5: 仮にそのアシケナージ系が荒らせるし更に攻め込むならあの将来構想は人参採取者達でない fact6: 「そのアシケナージ系は荒らせる」ということは成り立つ fact7: 「その目的買いは乱れ飛ばなくてその上それは砕け易いということはない」ということは嘘である ; $hypothesis$ = あの将来構想は人参採取者達でない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: あの将来構想が乱れ飛ばないとすればそれは人参採取者達で加えて夏らしい
事実2: そのアシケナージ系は荒らせるししかも攻め込む
事実3: もしとあるものが人参採取者達でないとしたら叩き割るしそれは夏らしい
事実4: そのアシケナージ系は人参採取者達だ
事実5: 仮にそのアシケナージ系が荒らせるし更に攻め込むならあの将来構想は人参採取者達でない
事実6: 「そのアシケナージ系は荒らせる」ということは成り立つ
事実7: 「その目的買いは乱れ飛ばなくてその上それは砕け易いということはない」ということは嘘である

仮説: あの将来構想は人参採取者達でない
1. 事実5と事実2から、仮説が導かれる

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