あのみねみにゃLv.87は楽しくない
fact1: もしもあのみねみにゃLv.87が上げ難いとすればあのみねみにゃLv.87は楽しい fact2: あのみねみにゃLv.87は上げ難い
fact2 -> int1: あのみねみにゃLv.87は上げ難い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもあのみねみにゃLv.87が上げ難いとすればあのみねみにゃLv.87は楽しい fact2: あのみねみにゃLv.87は上げ難い ; $hypothesis$ = あのみねみにゃLv.87は楽しくない ; $proof$ = 
fact2 -> int1: あのみねみにゃLv.87は上げ難い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__