「仮に出し易くないとすれば伸び易くないし加えて晴々しかない」モンスターはいる
fact1: 「もし出し易いとすれば伸び易いということはないし加えて晴々しかない」モンスターはいる fact2: そのみにゅみにゅLv.65が出し易いとすればそのみにゅみにゅLv.65は伸び易くなくておまけに晴々しかない fact3: 「もし仮に出し易くないとしたら伸び易いがしかし晴々しかない」モンスターはいる fact4: 仮にそのみにゅみにゅLv.65が出し易くないとしたら伸び易くなくてしかもそれは晴々しかない fact5: 「もしも出し易くないとしたら伸び易くない一方で晴々しい」モンスターはいる fact6: もしもそのみにゅみにゅLv.65が出し易くないならそれは晴々しいということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: 「もし出し易いとすれば伸び易いということはないし加えて晴々しかない」モンスターはいる fact2: そのみにゅみにゅLv.65が出し易いとすればそのみにゅみにゅLv.65は伸び易くなくておまけに晴々しかない fact3: 「もし仮に出し易くないとしたら伸び易いがしかし晴々しかない」モンスターはいる fact4: 仮にそのみにゅみにゅLv.65が出し易くないとしたら伸び易くなくてしかもそれは晴々しかない fact5: 「もしも出し易くないとしたら伸び易くない一方で晴々しい」モンスターはいる fact6: もしもそのみにゅみにゅLv.65が出し易くないならそれは晴々しいということはない ; $hypothesis$ = 「仮に出し易くないとすれば伸び易くないし加えて晴々しかない」モンスターはいる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
fact4 -> hypothesis; __PROVED__