このぴよぴちょLv.74は際どいということはない
fact1: 「このぴにゃぴよLv.55は理解し辛いけれど手強くない」ということは成り立つということはないならば「このみちょみにゃLv.49は止む無い」ということは成り立つ fact2: もしもこのみちょみにゃLv.49が造影するかあるいはそれが夜逃げしないかあるいは両方であるならこのぴにゃぴよLv.55は止む無い fact3: このみちょみにゃLv.49は造影するかもしくは夜逃げしないかもしくはどちらもである fact4: もしもこのぴにゃぴよLv.55が止む無いとするとこのぽちょぽにゅLv.12は使い易い fact5: このぽちょぽにゅLv.12は理解し辛い fact6: 仮にあるモンスターはしんどくないとすると「理解し辛いが手強くない」ということは誤っている fact7: このぽちょぽにゅLv.12が理解し辛いしまたそれが手強いならこのぴよぴちょLv.74は際どくない fact8: もし「このぽちょぽにゅLv.12は使い易い」ということは事実なら「それは手強い」ということは真実だ
fact2 & fact3 -> int1: 「このぴにゃぴよLv.55は止む無い」ということは正しい; int1 & fact4 -> int2: このぽちょぽにゅLv.12は使い易い; int2 & fact8 -> int3: このぽちょぽにゅLv.12は手強い; int3 & fact5 -> int4: このぽちょぽにゅLv.12は理解し辛くて手強い; int4 & fact7 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {A}{c}; int2 & fact8 -> int3: {C}{c}; int3 & fact5 -> int4: ({D}{c} & {C}{c}); int4 & fact7 -> hypothesis;
このぴよぴちょLv.74は際どい
fact10 -> int5: 仮にこのぴにゃぴよLv.55はしんどくないならば「それは理解し辛いけど手強くない」ということは間違いである;
$facts$ = fact1: 「このぴにゃぴよLv.55は理解し辛いけれど手強くない」ということは成り立つということはないならば「このみちょみにゃLv.49は止む無い」ということは成り立つ fact2: もしもこのみちょみにゃLv.49が造影するかあるいはそれが夜逃げしないかあるいは両方であるならこのぴにゃぴよLv.55は止む無い fact3: このみちょみにゃLv.49は造影するかもしくは夜逃げしないかもしくはどちらもである fact4: もしもこのぴにゃぴよLv.55が止む無いとするとこのぽちょぽにゅLv.12は使い易い fact5: このぽちょぽにゅLv.12は理解し辛い fact6: 仮にあるモンスターはしんどくないとすると「理解し辛いが手強くない」ということは誤っている fact7: このぽちょぽにゅLv.12が理解し辛いしまたそれが手強いならこのぴよぴちょLv.74は際どくない fact8: もし「このぽちょぽにゅLv.12は使い易い」ということは事実なら「それは手強い」ということは真実だ ; $hypothesis$ = このぴよぴちょLv.74は際どいということはない ; $proof$ = 
fact2 & fact3 -> int1: 「このぴにゃぴよLv.55は止む無い」ということは正しい; int1 & fact4 -> int2: このぽちょぽにゅLv.12は使い易い; int2 & fact8 -> int3: このぽちょぽにゅLv.12は手強い; int3 & fact5 -> int4: このぽちょぽにゅLv.12は理解し辛くて手強い; int4 & fact7 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {A}{c}; int2 & fact8 -> int3: {C}{c}; int3 & fact5 -> int4: ({D}{c} & {C}{c}); int4 & fact7 -> hypothesis; __PROVED__