あのみえみわLv.22は無理無いということはない
fact1: もしもあのみえみわLv.22が活用し易いとするとあのみえみわLv.22はチェックす fact2: 「あのみえみわLv.22は気弱いしまたそれは活用し易い」ということは間違いだ fact3: 仮にあのみえみわLv.22はチェックすとしたら「無理無くない」ということは確かである fact4: もしも「あのみえみわLv.22は気弱いがしかし活用し易いということはない」ということは成り立たないとしたらチェックす fact5: 「あのみえみわLv.22は気弱いけど活用し易くない」ということは間違いだ fact6: もしも「なんらかのモンスターは気弱いけれど現役復帰するということはない」ということは成り立たないならそれは滑り易い
fact4 & fact5 -> int1: あのみえみわLv.22はチェックす; int1 & fact3 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
もしも「「そのぷくぷくLv.53は気弱いけど現役復帰しない」ということは事実でない」ということは成り立てば「それは滑り易い」ということは成り立つ
fact7 -> hypothesis;
$facts$ = fact1: もしもあのみえみわLv.22が活用し易いとするとあのみえみわLv.22はチェックす fact2: 「あのみえみわLv.22は気弱いしまたそれは活用し易い」ということは間違いだ fact3: 仮にあのみえみわLv.22はチェックすとしたら「無理無くない」ということは確かである fact4: もしも「あのみえみわLv.22は気弱いがしかし活用し易いということはない」ということは成り立たないとしたらチェックす fact5: 「あのみえみわLv.22は気弱いけど活用し易くない」ということは間違いだ fact6: もしも「なんらかのモンスターは気弱いけれど現役復帰するということはない」ということは成り立たないならそれは滑り易い ; $hypothesis$ = あのみえみわLv.22は無理無いということはない ; $proof$ = 
fact4 & fact5 -> int1: あのみえみわLv.22はチェックす; int1 & fact3 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__