このもちゅもちゃLv.31は広ーい
fact1: なんらかのモンスターが持するということはないとすればそれは広ーいししかも憎たらしい fact2: そのみのみくLv.49は憎たらしい fact3: このもちゅもちゃLv.31は持しない
fact1 -> int1: もしもこのもちゅもちゃLv.31が持しないならそれは広ーいし加えて憎たらしい; int1 & fact3 -> int2: このもちゅもちゃLv.31は広ーいし憎たらしい; int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
$facts$ = fact1: なんらかのモンスターが持するということはないとすればそれは広ーいししかも憎たらしい fact2: そのみのみくLv.49は憎たらしい fact3: このもちゅもちゃLv.31は持しない ; $hypothesis$ = このもちゅもちゃLv.31は広ーい ; $proof$ = 
fact1 -> int1: もしもこのもちゅもちゃLv.31が持しないならそれは広ーいし加えて憎たらしい; int1 & fact3 -> int2: このもちゅもちゃLv.31は広ーいし憎たらしい; int2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __PROVED__