あのぴちゅぴよLv.0は予測し難くない
fact1: 「あのぴちゅぴよLv.0は易しない」ということは成り立つ fact2: もしあのぴちゅぴよLv.0が易しとするとこのみえみくLv.68は易し fact3: あのみやみにゅLv.64が易ししおまけにそれが遣り過ごすとしたらあのぴちゅぴよLv.0は予測し難くない fact4: あのみやみにゅLv.64は易し fact5: 重々しいということはないモンスターは易しないかあるいは遣り過ごすかまたはどちらもである fact6: あのぴちゅぴよLv.0は遣り過ごす fact7: 「あのみやみにゅLv.64は遣り過ごさない」ということは本当だ fact8: もしあのぴちゅぴよLv.0が予測し難くてまた遣り過ごすとすればあのみやみにゅLv.64は易しない
void -> assump1: 以下のように仮定する。あのぴちゅぴよLv.0は予測し難い; assump1 & fact6 -> int1: あのぴちゅぴよLv.0は予測し難くて遣り過ごす; int1 & fact8 -> int2: あのみやみにゅLv.64は易しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
このみえみくLv.68は易し
$facts$ = fact1: 「あのぴちゅぴよLv.0は易しない」ということは成り立つ fact2: もしあのぴちゅぴよLv.0が易しとするとこのみえみくLv.68は易し fact3: あのみやみにゅLv.64が易ししおまけにそれが遣り過ごすとしたらあのぴちゅぴよLv.0は予測し難くない fact4: あのみやみにゅLv.64は易し fact5: 重々しいということはないモンスターは易しないかあるいは遣り過ごすかまたはどちらもである fact6: あのぴちゅぴよLv.0は遣り過ごす fact7: 「あのみやみにゅLv.64は遣り過ごさない」ということは本当だ fact8: もしあのぴちゅぴよLv.0が予測し難くてまた遣り過ごすとすればあのみやみにゅLv.64は易しない ; $hypothesis$ = あのぴちゅぴよLv.0は予測し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴちゅぴよLv.0は予測し難い; assump1 & fact6 -> int1: あのぴちゅぴよLv.0は予測し難くて遣り過ごす; int1 & fact8 -> int2: あのみやみにゅLv.64は易しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__