その媚薬は奥深い
fact1: もし縁遠いということはないものは巻き込むとすると「それは奥深くない」ということは成り立つ fact2: その媚薬は奥深い fact3: この時間外は奥深い fact4: もしも「痛ーい」ものがあるとすればその媚薬は縁遠くないけれど巻き込む fact5: その媚薬は上接する
fact2 -> hypothesis;
fact2 -> hypothesis;
その媚薬は奥深くない
fact7 -> int1: もしその媚薬は縁遠くないけれど巻き込むとすればそれは奥深くない;
$facts$ = fact1: もし縁遠いということはないものは巻き込むとすると「それは奥深くない」ということは成り立つ fact2: その媚薬は奥深い fact3: この時間外は奥深い fact4: もしも「痛ーい」ものがあるとすればその媚薬は縁遠くないけれど巻き込む fact5: その媚薬は上接する ; $hypothesis$ = その媚薬は奥深い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし縁遠いということはないものは巻き込むとすると「それは奥深くない」ということは成り立つ
事実2: その媚薬は奥深い
事実3: この時間外は奥深い
事実4: もしも「痛ーい」ものがあるとすればその媚薬は縁遠くないけれど巻き込む
事実5: その媚薬は上接する

仮説: その媚薬は奥深い
1. 事実2から、仮説が導かれる

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