「危うしない」モンスターはいる
fact1: もしあのみにゃみにゅLv.78が調節し易くないならあのぷにょぷにゃLv.59は有るらしいし加えて危うし fact2: あのぷにょぷにゃLv.59は調節し易くない fact3: 長しないモンスターは浅黒くないしその上調節し易くない fact4: 「あのぷにょぷにゃLv.59は危うし」ということは成り立つとしたらそれは調節し易い fact5: 何らかのモンスターは危うし fact6: 赤ししその上長しモンスターはない
void -> assump1: 以下のように仮定する。あのぷにょぷにゃLv.59は危うし; fact4 & assump1 -> int1: あのぷにょぷにゃLv.59は調節し易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぷにょぷにゃLv.59は危うしない; int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 -> hypothesis;
あのぷにょぷにゃLv.59は有るらしい
fact9 -> int4: もしもあのぷにぷにゅLv.34が長しないならばあのぷにぷにゅLv.34は浅黒くなくてそれにそれは調節し易いということはない; fact8 -> int5: 「「あのぷにぷにゅLv.34は赤ししかつ長し」ということは嘘だ」ということは成り立つ;
$facts$ = fact1: もしあのみにゃみにゅLv.78が調節し易くないならあのぷにょぷにゃLv.59は有るらしいし加えて危うし fact2: あのぷにょぷにゃLv.59は調節し易くない fact3: 長しないモンスターは浅黒くないしその上調節し易くない fact4: 「あのぷにょぷにゃLv.59は危うし」ということは成り立つとしたらそれは調節し易い fact5: 何らかのモンスターは危うし fact6: 赤ししその上長しモンスターはない ; $hypothesis$ = 「危うしない」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷにょぷにゃLv.59は危うし; fact4 & assump1 -> int1: あのぷにょぷにゃLv.59は調節し易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぷにょぷにゃLv.59は危うしない; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 -> hypothesis; __PROVED__