このみにみやLv.99は止めど無いしかつぞっとする
fact1: もし仮にこのみにみやLv.99が恨めしいとするとこのみにみやLv.99はぞっとする fact2: このみにみやLv.99は止めど無い fact3: このみにみやLv.99は恨めしいモンスターであってまた理解し辛い
fact3 -> int1: このみにみやLv.99は恨めしい; int1 & fact1 -> int2: このみにみやLv.99はぞっとする; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこのみにみやLv.99が恨めしいとするとこのみにみやLv.99はぞっとする fact2: このみにみやLv.99は止めど無い fact3: このみにみやLv.99は恨めしいモンスターであってまた理解し辛い ; $hypothesis$ = このみにみやLv.99は止めど無いしかつぞっとする ; $proof$ = 
fact3 -> int1: このみにみやLv.99は恨めしい; int1 & fact1 -> int2: このみにみやLv.99はぞっとする; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__