「あのものもえLv.62は救済出来ないがそれは古びる」ということは成り立たない
fact1: もしあのものもえLv.62が救済出来れば発生し難い fact2: 相応しくないモンスターは塗り固めるしかつ発生し難い fact3: あのものもえLv.62は古びる fact4: このぷねぷちゅLv.79は発生し難いとすれば「「あのものもえLv.62は救済出来ないが古びる」ということは嘘である」ということは正しい fact5: もしもなにがしかのモンスターが救済出来ないとしたら有るらしいということはないけれど安し fact6: もしあのものもえLv.62が木らしいとすると古びる fact7: もし「あるモンスターは古びるし塗り固める」ということは誤りなら発生し難くない fact8: あのものもえLv.62は発生し難くない
void -> assump1: 以下のように仮定する。あのものもえLv.62は救済出来る; fact1 & assump1 -> int1: あのものもえLv.62は発生し難い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのものもえLv.62は救済出来ない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
「あのものもえLv.62は救済出来ないがそれは古びる」ということは成り立たない
fact9 -> int4: もし仮にこのぷねぷちゅLv.79が相応しくないとすればこのぷねぷちゅLv.79は塗り固めるししかもそれは発生し難い;
$facts$ = fact1: もしあのものもえLv.62が救済出来れば発生し難い fact2: 相応しくないモンスターは塗り固めるしかつ発生し難い fact3: あのものもえLv.62は古びる fact4: このぷねぷちゅLv.79は発生し難いとすれば「「あのものもえLv.62は救済出来ないが古びる」ということは嘘である」ということは正しい fact5: もしもなにがしかのモンスターが救済出来ないとしたら有るらしいということはないけれど安し fact6: もしあのものもえLv.62が木らしいとすると古びる fact7: もし「あるモンスターは古びるし塗り固める」ということは誤りなら発生し難くない fact8: あのものもえLv.62は発生し難くない ; $hypothesis$ = 「あのものもえLv.62は救済出来ないがそれは古びる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのものもえLv.62は救済出来る; fact1 & assump1 -> int1: あのものもえLv.62は発生し難い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのものもえLv.62は救済出来ない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact8 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__