この独立部分は厚ぼったい
fact1: この独立部分は徹底化しない fact2: その約四十種類は安眠出来るが厚ぼったいということはない fact3: もし仮にこの独立部分が兵内であるけどそれは徹底化するということはないとしたら「それは厚ぼったい」ということは真実である fact4: この独立部分は兵内である一方で徹底化しない fact5: この独立部分は監督機能である fact6: もしもこの独立部分が兵内だししかもそれが徹底化すれば厚ぼったい
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
$facts$ = fact1: この独立部分は徹底化しない fact2: その約四十種類は安眠出来るが厚ぼったいということはない fact3: もし仮にこの独立部分が兵内であるけどそれは徹底化するということはないとしたら「それは厚ぼったい」ということは真実である fact4: この独立部分は兵内である一方で徹底化しない fact5: この独立部分は監督機能である fact6: もしもこの独立部分が兵内だししかもそれが徹底化すれば厚ぼったい ; $hypothesis$ = この独立部分は厚ぼったい ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: この独立部分は徹底化しない
事実2: その約四十種類は安眠出来るが厚ぼったいということはない
事実3: もし仮にこの独立部分が兵内であるけどそれは徹底化するということはないとしたら「それは厚ぼったい」ということは真実である
事実4: この独立部分は兵内である一方で徹底化しない
事実5: この独立部分は監督機能である
事実6: もしもこの独立部分が兵内だししかもそれが徹底化すれば厚ぼったい

仮説: この独立部分は厚ぼったい
1. 事実3と事実4から、仮説が導かれる

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