このぴいぴゆLv.11はしても良くない
fact1: 野太くないモンスターはしても良くないならばそれは近寄らない fact2: もし仮にこのぴいぴゆLv.11が野太いかしても良いかまたは両方ともだとしたらそのぽちょぽにゃLv.45は近寄らない fact3: 「もし仮にこのぴいぴゆLv.11が野太いならばそのぽちょぽにゃLv.45はしても良くない」ということは正しい fact4: そのぽちょぽにゃLv.45は近寄る fact5: もしそのぽちょぽにゃLv.45が野太いならこのぴいぴゆLv.11は近寄らない fact6: そのぽちょぽにゃLv.45はしても良い
void -> assump1: 以下のように仮定する。このぴいぴゆLv.11はしても良い; assump1 -> int1: このぴいぴゆLv.11は野太いかもしくはしても良い; int1 & fact2 -> int2: そのぽちょぽにゃLv.45は近寄らない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみねみいLv.15は近寄らない
fact7 -> int4: もし仮にあのみねみいLv.15は野太くなくて更にしても良くないならば近寄らない;
$facts$ = fact1: 野太くないモンスターはしても良くないならばそれは近寄らない fact2: もし仮にこのぴいぴゆLv.11が野太いかしても良いかまたは両方ともだとしたらそのぽちょぽにゃLv.45は近寄らない fact3: 「もし仮にこのぴいぴゆLv.11が野太いならばそのぽちょぽにゃLv.45はしても良くない」ということは正しい fact4: そのぽちょぽにゃLv.45は近寄る fact5: もしそのぽちょぽにゃLv.45が野太いならこのぴいぴゆLv.11は近寄らない fact6: そのぽちょぽにゃLv.45はしても良い ; $hypothesis$ = このぴいぴゆLv.11はしても良くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴいぴゆLv.11はしても良い; assump1 -> int1: このぴいぴゆLv.11は野太いかもしくはしても良い; int1 & fact2 -> int2: そのぽちょぽにゃLv.45は近寄らない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__