「もしも領域統合だということはないならば「後天性免疫不全症候群で加えて借り切る」ということは確かでない」ものはある
fact1: もしもあのミスワキ産駒は領域統合でないとすれば「後天性免疫不全症候群であるしそれに借り切る」ということは成り立たない fact2: 仮に「何かは吠えない」ということは成り立つなら「誘き出すしまたそれはニュー・ウェイブである」ということは成り立つということはない fact3: 「白々しかないなら「ニュー・ウェイブで起債する」ということは確かでない」ものはある
fact1 -> hypothesis;
あのミスワキ産駒は吠えないなら「誘き出すしまたニュー・ウェイブだ」ということは嘘である
fact4 -> hypothesis;
$facts$ = fact1: もしもあのミスワキ産駒は領域統合でないとすれば「後天性免疫不全症候群であるしそれに借り切る」ということは成り立たない fact2: 仮に「何かは吠えない」ということは成り立つなら「誘き出すしまたそれはニュー・ウェイブである」ということは成り立つということはない fact3: 「白々しかないなら「ニュー・ウェイブで起債する」ということは確かでない」ものはある ; $hypothesis$ = 「もしも領域統合だということはないならば「後天性免疫不全症候群で加えて借り切る」ということは確かでない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもあのミスワキ産駒は領域統合でないとすれば「後天性免疫不全症候群であるしそれに借り切る」ということは成り立たない
事実2: 仮に「何かは吠えない」ということは成り立つなら「誘き出すしまたそれはニュー・ウェイブである」ということは成り立つということはない
事実3: 「白々しかないなら「ニュー・ウェイブで起債する」ということは確かでない」ものはある

仮説: 「もしも領域統合だということはないならば「後天性免疫不全症候群で加えて借り切る」ということは確かでない」ものはある
1. 事実1から、仮説が導かれる

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