あのみちゃみねLv.0は割れ難い
fact1: 「全てのモンスターはマスターする」ということは成り立つ fact2: 有り難いモンスターは小難しくない fact3: あらゆるモンスターは割れ難い fact4: もしあるモンスターは久しとすると「割れ難いということはないし残り易くない」ということは事実と異なる fact5: 小難しくないモンスターは久しということはないしその上割れ難くない
fact3 -> int1: あらゆるモンスターは割れ難い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは残り易い
fact6 -> int2: 仮にあのみちゃみねLv.0は久しとすると「あのみちゃみねLv.0は割れ難いということはないしそれは残り易いということはない」ということは成り立たない;
$facts$ = fact1: 「全てのモンスターはマスターする」ということは成り立つ fact2: 有り難いモンスターは小難しくない fact3: あらゆるモンスターは割れ難い fact4: もしあるモンスターは久しとすると「割れ難いということはないし残り易くない」ということは事実と異なる fact5: 小難しくないモンスターは久しということはないしその上割れ難くない ; $hypothesis$ = あのみちゃみねLv.0は割れ難い ; $proof$ = 
fact3 -> int1: あらゆるモンスターは割れ難い; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__