「あのまえまにゅLv.95は食べ易いししかもそれは力無い」ということは嘘だ
fact1: あのまえまにゅLv.95はべた付き易い fact2: もしもあるモンスターは動かし難くないとすれば「それは食べ易いししかも力無い」ということは成り立たない fact3: 「あのまいまにゅLv.75はべた付き易くなくてその上それは食べ荒らさない」ということは間違っているとするとこのぴゆぴねLv.18は動かし難い fact4: もしもこのぴゆぴねLv.18が動かし難いならばあのまえまにゅLv.95は食べ易い fact5: 「あのまいまにゅLv.75はべた付き易いということはなくて加えて食べ荒らさない」ということは偽である fact6: あのまえまにゅLv.95は力無い
fact3 & fact5 -> int1: このぴゆぴねLv.18は動かし難い; int1 & fact4 -> int2: あのまえまにゅLv.95は食べ易い; int2 & fact6 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {A}{c}; int2 & fact6 -> hypothesis;
「あのまえまにゅLv.95は食べ易いししかもそれは力無い」ということは嘘だ
fact7 -> int3: もしあのまえまにゅLv.95は動かし難いということはないなら「あのまえまにゅLv.95は食べ易くてかつそれは力無い」ということは誤りだ;
$facts$ = fact1: あのまえまにゅLv.95はべた付き易い fact2: もしもあるモンスターは動かし難くないとすれば「それは食べ易いししかも力無い」ということは成り立たない fact3: 「あのまいまにゅLv.75はべた付き易くなくてその上それは食べ荒らさない」ということは間違っているとするとこのぴゆぴねLv.18は動かし難い fact4: もしもこのぴゆぴねLv.18が動かし難いならばあのまえまにゅLv.95は食べ易い fact5: 「あのまいまにゅLv.75はべた付き易いということはなくて加えて食べ荒らさない」ということは偽である fact6: あのまえまにゅLv.95は力無い ; $hypothesis$ = 「あのまえまにゅLv.95は食べ易いししかもそれは力無い」ということは嘘だ ; $proof$ = 
fact3 & fact5 -> int1: このぴゆぴねLv.18は動かし難い; int1 & fact4 -> int2: あのまえまにゅLv.95は食べ易い; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {A}{c}; int2 & fact6 -> hypothesis; __DISPROVED__