「もし仮に「宜しない」ということは成り立つとすると受章する」ものはある
fact1: もしなにがしかのものが悪戯しないとしたら手堅い fact2: 「ちっこくないならば身辺整理な」ものはある fact3: もしあのサイト上が宜しならばそれは受章する fact4: 「もし宜しとすると受章する」ものはある fact5: もし仮に「あのサイト上は宜しない」ということは正しいとすると普通する fact6: 「レッテルでないとすれば下ろし易い」物はある fact7: もしもこの七十歳以上はレッテルでないとしたら宜し fact8: もしもあのサイト上が宜しないとすると受章する fact9: 「仮に「怒りっぽくない」ということは成り立つなら定む」物はある fact10: 「もし身辺整理でないとしたら憎し」ものはある fact11: 「地力でないとすれば五趣な」ものはある fact12: 「もしブラウザーでないとすれば「千九百九十九Ｂだ」ということは成り立つ」ものはある
fact8 -> hypothesis;
「仮に悪戯しないとすれば手堅い」物はある
fact13 -> int1: もし「この媒体材料は悪戯しない」ということは成り立てば「手堅い」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのものが悪戯しないとしたら手堅い fact2: 「ちっこくないならば身辺整理な」ものはある fact3: もしあのサイト上が宜しならばそれは受章する fact4: 「もし宜しとすると受章する」ものはある fact5: もし仮に「あのサイト上は宜しない」ということは正しいとすると普通する fact6: 「レッテルでないとすれば下ろし易い」物はある fact7: もしもこの七十歳以上はレッテルでないとしたら宜し fact8: もしもあのサイト上が宜しないとすると受章する fact9: 「仮に「怒りっぽくない」ということは成り立つなら定む」物はある fact10: 「もし身辺整理でないとしたら憎し」ものはある fact11: 「地力でないとすれば五趣な」ものはある fact12: 「もしブラウザーでないとすれば「千九百九十九Ｂだ」ということは成り立つ」ものはある ; $hypothesis$ = 「もし仮に「宜しない」ということは成り立つとすると受章する」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしなにがしかのものが悪戯しないとしたら手堅い
事実2: 「ちっこくないならば身辺整理な」ものはある
事実3: もしあのサイト上が宜しならばそれは受章する
事実4: 「もし宜しとすると受章する」ものはある
事実5: もし仮に「あのサイト上は宜しない」ということは正しいとすると普通する
事実6: 「レッテルでないとすれば下ろし易い」物はある
事実7: もしもこの七十歳以上はレッテルでないとしたら宜し
事実8: もしもあのサイト上が宜しないとすると受章する
事実9: 「仮に「怒りっぽくない」ということは成り立つなら定む」物はある
事実10: 「もし身辺整理でないとしたら憎し」ものはある
事実11: 「地力でないとすれば五趣な」ものはある
事実12: 「もしブラウザーでないとすれば「千九百九十九Ｂだ」ということは成り立つ」ものはある

仮説: 「もし仮に「宜しない」ということは成り立つとすると受章する」ものはある
1. 事実8から、仮説が導かれる

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