あのもゆもにLv.10は行われ易い
fact1: 仮になにがしかのモンスターが困るということはないとしたらそれは行われ易くてそれに勇ましい fact2: もしもなにがしかのモンスターは進化し易いとすれば「「それはみっともなくないし守り易い」ということは真実だ」ということは嘘だ fact3: あのぽえぽにゃLv.18は進化し易い fact4: 「あのぽえぽにゃLv.18はみっともないしそれに守り易い」ということは間違いである fact5: 仮にあのもゆもにLv.10が惨いとしたらあのもゆもにLv.10は行われ易い fact6: もしも「「あのぽえぽにゃLv.18はみっともなくないがしかし守り易い」ということは成り立つということはない」ということは成り立つとしたら有力視する fact7: もし仮になにがしかのモンスターは行われ易いし加えて勇ましいとしたらそれは惨くない fact8: 惨くないモンスターは有力視するかもしくは進化し易い
fact2 -> int1: もしあのぽえぽにゃLv.18は進化し易いとすれば「それはみっともなくないしおまけにそれは守り易い」ということは事実と異なる; int1 & fact3 -> int2: 「あのぽえぽにゃLv.18はみっともなくないけれど守り易い」ということは誤っている; int2 & fact6 -> int3: あのぽえぽにゃLv.18は有力視する;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact6 -> int3: {B}{aa};
このもよもにLv.88は進化し易い
fact9 -> int4: もしもあのもゆもにLv.10が惨くないならば有力視するかあるいは進化し易い; fact11 -> int5: 仮にあのもゆもにLv.10は行われ易いししかも勇ましいならば惨くない; fact10 -> int6: あのもゆもにLv.10が困らないとするとそれは行われ易くて勇ましい;
$facts$ = fact1: 仮になにがしかのモンスターが困るということはないとしたらそれは行われ易くてそれに勇ましい fact2: もしもなにがしかのモンスターは進化し易いとすれば「「それはみっともなくないし守り易い」ということは真実だ」ということは嘘だ fact3: あのぽえぽにゃLv.18は進化し易い fact4: 「あのぽえぽにゃLv.18はみっともないしそれに守り易い」ということは間違いである fact5: 仮にあのもゆもにLv.10が惨いとしたらあのもゆもにLv.10は行われ易い fact6: もしも「「あのぽえぽにゃLv.18はみっともなくないがしかし守り易い」ということは成り立つということはない」ということは成り立つとしたら有力視する fact7: もし仮になにがしかのモンスターは行われ易いし加えて勇ましいとしたらそれは惨くない fact8: 惨くないモンスターは有力視するかもしくは進化し易い ; $hypothesis$ = あのもゆもにLv.10は行われ易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__