このみちゃみなLv.49は大きい
fact1: 仮に何らかのモンスターがせせこましくないならそれは銜うし現われ難い fact2: しかつめらしくないモンスターは成り難くて加えて大きい fact3: もしとあるモンスターが銜うならばそれはしかつめらしくない fact4: 仮にしかつめらしくないモンスターが成り難いとすると大きくない
そのぽゆぽのLv.27は大きい
fact5 -> int1: もし「そのぽゆぽのLv.27はしかつめらしくない」ということは正しいとすればそれは成り難いししかも大きい; fact6 -> int2: もし仮にそのぽゆぽのLv.27が銜うならばそのぽゆぽのLv.27はしかつめらしくない; fact7 -> int3: もしもこのみちゃみなLv.49がせせこましいということはないならこのみちゃみなLv.49は銜うしおまけにそれは現われ難い;
$facts$ = fact1: 仮に何らかのモンスターがせせこましくないならそれは銜うし現われ難い fact2: しかつめらしくないモンスターは成り難くて加えて大きい fact3: もしとあるモンスターが銜うならばそれはしかつめらしくない fact4: 仮にしかつめらしくないモンスターが成り難いとすると大きくない ; $hypothesis$ = このみちゃみなLv.49は大きい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__