このもゆもちょLv.55は掛かり易くない
fact1: もしもこのもゆもちょLv.55が掛かり易いならばそれは区別し易い fact2: あのみなみなLv.9は発揮し易いということはないとすると「あのみなみなLv.9は解約し得るが活用し易くない」ということは間違いだ fact3: 「仮になんらかのモンスターは解約し得ないならばそれは鳴き叫ぶしかつ掛かり易い」ということは確かである fact4: このみよみえLv.36は区別し易い fact5: このもゆもちょLv.55は区別し易くない fact6: もしも「あのみなみなLv.9は解約し得るがそれは活用し易くない」ということは成り立たないならそのものもにゅLv.7は解約し得ない
void -> assump1: 以下のように仮定する。「このもゆもちょLv.55は掛かり易い」ということは成り立つ; fact1 & assump1 -> int1: このもゆもちょLv.55は区別し易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。「このもゆもちょLv.55は掛かり易い」ということは成り立つ
fact7 -> int3: そのものもにゅLv.7が解約し得ないとすると鳴き叫ぶし更にそれは掛かり易い;
$facts$ = fact1: もしもこのもゆもちょLv.55が掛かり易いならばそれは区別し易い fact2: あのみなみなLv.9は発揮し易いということはないとすると「あのみなみなLv.9は解約し得るが活用し易くない」ということは間違いだ fact3: 「仮になんらかのモンスターは解約し得ないならばそれは鳴き叫ぶしかつ掛かり易い」ということは確かである fact4: このみよみえLv.36は区別し易い fact5: このもゆもちょLv.55は区別し易くない fact6: もしも「あのみなみなLv.9は解約し得るがそれは活用し易くない」ということは成り立たないならそのものもにゅLv.7は解約し得ない ; $hypothesis$ = このもゆもちょLv.55は掛かり易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このもゆもちょLv.55は掛かり易い」ということは成り立つ; fact1 & assump1 -> int1: このもゆもちょLv.55は区別し易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__