そのみにょみねLv.51は姦しいし加えて認め難い
fact1: そのみにょみねLv.51は認め難い fact2: あのもなもわLv.33は銘打つしかつがめつい fact3: あのもなもわLv.33が銘打つとすればそのみにょみねLv.51は入れ難い fact4: もしもそのみにょみねLv.51が入れ難いならば姦しい
fact2 -> int1: あのもなもわLv.33は銘打つ; fact3 & int1 -> int2: そのみにょみねLv.51は入れ難い; int2 & fact4 -> int3: そのみにょみねLv.51は姦しい; int3 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: そのみにょみねLv.51は認め難い fact2: あのもなもわLv.33は銘打つしかつがめつい fact3: あのもなもわLv.33が銘打つとすればそのみにょみねLv.51は入れ難い fact4: もしもそのみにょみねLv.51が入れ難いならば姦しい ; $hypothesis$ = そのみにょみねLv.51は姦しいし加えて認め難い ; $proof$ = 
fact2 -> int1: あのもなもわLv.33は銘打つ; fact3 & int1 -> int2: そのみにょみねLv.51は入れ難い; int2 & fact4 -> int3: そのみにょみねLv.51は姦しい; int3 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __PROVED__