「「仮に険しかないとすると掛かり易いし正当化する」ものはある」ということは偽だ
fact1: そのイメージ内容は険しかないなら「それは掛かり易い」ということは成り立つ fact2: 「もし「ブラバスらしい」ということは成り立てばパック入りであるし運べる」ものはある fact3: 「仮に険しいということはないなら正当化する」ものはある fact4: 「そのイメージ内容は険しいということはない」ということは確かであるならばそれは掛かり易いしその上正当化する fact5: もし仮になんらかのものが簡単化でないとしたら最多記録だししかもしがない fact6: もし仮にとある物が補修出来ないならばそれは正当化するしアルコール類だ fact7: もしそのイメージ内容が険しいとすれば掛かり易いしさらに正当化する fact8: 「険しかないとすれば掛かり易い」物はある
fact4 -> hypothesis;
その吃音が補修出来ないならば正当化するしまたアルコール類である
fact9 -> hypothesis;
$facts$ = fact1: そのイメージ内容は険しかないなら「それは掛かり易い」ということは成り立つ fact2: 「もし「ブラバスらしい」ということは成り立てばパック入りであるし運べる」ものはある fact3: 「仮に険しいということはないなら正当化する」ものはある fact4: 「そのイメージ内容は険しいということはない」ということは確かであるならばそれは掛かり易いしその上正当化する fact5: もし仮になんらかのものが簡単化でないとしたら最多記録だししかもしがない fact6: もし仮にとある物が補修出来ないならばそれは正当化するしアルコール類だ fact7: もしそのイメージ内容が険しいとすれば掛かり易いしさらに正当化する fact8: 「険しかないとすれば掛かり易い」物はある ; $hypothesis$ = 「「仮に険しかないとすると掛かり易いし正当化する」ものはある」ということは偽だ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: そのイメージ内容は険しかないなら「それは掛かり易い」ということは成り立つ
事実2: 「もし「ブラバスらしい」ということは成り立てばパック入りであるし運べる」ものはある
事実3: 「仮に険しいということはないなら正当化する」ものはある
事実4: 「そのイメージ内容は険しいということはない」ということは確かであるならばそれは掛かり易いしその上正当化する
事実5: もし仮になんらかのものが簡単化でないとしたら最多記録だししかもしがない
事実6: もし仮にとある物が補修出来ないならばそれは正当化するしアルコール類だ
事実7: もしそのイメージ内容が険しいとすれば掛かり易いしさらに正当化する
事実8: 「険しかないとすれば掛かり易い」物はある

仮説: 「「仮に険しかないとすると掛かり易いし正当化する」ものはある」ということは偽だ
1. 事実4から、仮説が否定される

よって、仮説が否定されました。