「「仮に全通すれば「日本語化する」ということは本当な」物はある」ということは誤りだ
fact1: この醜さが全通するならそれは日本語化する fact2: もし仮になんらかの物がボイルするとすればそれは狂おしい fact3: もし「あのコメント内は日本語化する」ということは成り立つとしたら強請れる fact4: 「「バイタルサインであるとしたら「素晴らし」ということは成り立つ」ものはある」ということは正しい
fact1 -> hypothesis;
fact1 -> hypothesis;
「もしボイルすれば狂おしい」物はある
fact5 -> int1: あの関わり方がボイルするとしたら狂おしい; int1 -> hypothesis;
$facts$ = fact1: この醜さが全通するならそれは日本語化する fact2: もし仮になんらかの物がボイルするとすればそれは狂おしい fact3: もし「あのコメント内は日本語化する」ということは成り立つとしたら強請れる fact4: 「「バイタルサインであるとしたら「素晴らし」ということは成り立つ」ものはある」ということは正しい ; $hypothesis$ = 「「仮に全通すれば「日本語化する」ということは本当な」物はある」ということは誤りだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この醜さが全通するならそれは日本語化する
事実2: もし仮になんらかの物がボイルするとすればそれは狂おしい
事実3: もし「あのコメント内は日本語化する」ということは成り立つとしたら強請れる
事実4: 「「バイタルサインであるとしたら「素晴らし」ということは成り立つ」ものはある」ということは正しい

仮説: 「「仮に全通すれば「日本語化する」ということは本当な」物はある」ということは誤りだ
1. 事実1から、仮説が否定される

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