「仮に生まれ易くないとすると仰々しくなくて掛かりしない」モンスターはいる
fact1: もしあのもにゃもにゅLv.82が生まれ易いということはないならばあのもにゃもにゅLv.82は仰々しいということはないし掛かりしない fact2: もしもなにがしかのモンスターが掛かりしないなら対応し切れなくて親らしくない fact3: 「もし仮に生まれ易くないとすると仰々しくない」モンスターはいる fact4: もしもあのもにゃもにゅLv.82が生まれ易くないとすれば掛かりしない
fact1 -> hypothesis;
fact1 -> hypothesis;
もし仮にこのまやまちょLv.56が掛かりしないとするとそれは対応し切れるということはないしさらに親らしくない
fact5 -> hypothesis;
$facts$ = fact1: もしあのもにゃもにゅLv.82が生まれ易いということはないならばあのもにゃもにゅLv.82は仰々しいということはないし掛かりしない fact2: もしもなにがしかのモンスターが掛かりしないなら対応し切れなくて親らしくない fact3: 「もし仮に生まれ易くないとすると仰々しくない」モンスターはいる fact4: もしもあのもにゃもにゅLv.82が生まれ易くないとすれば掛かりしない ; $hypothesis$ = 「仮に生まれ易くないとすると仰々しくなくて掛かりしない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__