「もしも「忌まわしくない」ということは事実なら「野垂れ死なない」ということは本当である」物はある
fact1: どす黒くないものは引き立てない fact2: もし仮にそのルーバー式が忌まわしくないとすればそれは野垂れ死なない fact3: 「組み合わせだということはないとすれば「コーヒー・スリーブでない」ということは事実な」ものはある fact4: 「もし仮に忌まわしいなら野垂れ死なない」ものはある fact5: 「もしも「起き易い」ということは本当だとすれば結ぶということはない」物はある fact6: 「忌まわしくないとしたら野垂れ死ぬ」物はある
fact2 -> hypothesis;
「どす黒くないとすると「引き立てない」ということは成り立つ」ものはある
fact7 -> int1: もしその西日がどす黒くないとすれば引き立てるということはない; int1 -> hypothesis;
$facts$ = fact1: どす黒くないものは引き立てない fact2: もし仮にそのルーバー式が忌まわしくないとすればそれは野垂れ死なない fact3: 「組み合わせだということはないとすれば「コーヒー・スリーブでない」ということは事実な」ものはある fact4: 「もし仮に忌まわしいなら野垂れ死なない」ものはある fact5: 「もしも「起き易い」ということは本当だとすれば結ぶということはない」物はある fact6: 「忌まわしくないとしたら野垂れ死ぬ」物はある ; $hypothesis$ = 「もしも「忌まわしくない」ということは事実なら「野垂れ死なない」ということは本当である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: どす黒くないものは引き立てない
事実2: もし仮にそのルーバー式が忌まわしくないとすればそれは野垂れ死なない
事実3: 「組み合わせだということはないとすれば「コーヒー・スリーブでない」ということは事実な」ものはある
事実4: 「もし仮に忌まわしいなら野垂れ死なない」ものはある
事実5: 「もしも「起き易い」ということは本当だとすれば結ぶということはない」物はある
事実6: 「忌まわしくないとしたら野垂れ死ぬ」物はある

仮説: 「もしも「忌まわしくない」ということは事実なら「野垂れ死なない」ということは本当である」物はある
1. 事実2から、仮説が導かれる

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