もし仮にこのぽのぽゆLv.17はしょぼくてそれに利用し難いならばそれは茶色っぽくない
fact1: 付け難いかあるいはしょぼいモンスターは利用し易いということはない fact2: もしもこのぽのぽゆLv.17がしょぼいかあるいはそれが深いとすればこのぽのぽゆLv.17は茶色っぽくない
void -> assump1: 以下のように仮定する。このぽのぽゆLv.17はしょぼいし更にそれは利用し難い; assump1 -> int1: このぽのぽゆLv.17はしょぼい; int1 -> int2: このぽのぽゆLv.17はしょぼいかあるいは深いかどちらもだ; int2 & fact2 -> int3: このぽのぽゆLv.17は茶色っぽくない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis;
もし仮に「このぷちゅぷなLv.98は付け難いかまたはしょぼいかまたは両方ともだ」ということは成り立てば「それは利用し易くない」ということは正しい
fact3 -> hypothesis;
$facts$ = fact1: 付け難いかあるいはしょぼいモンスターは利用し易いということはない fact2: もしもこのぽのぽゆLv.17がしょぼいかあるいはそれが深いとすればこのぽのぽゆLv.17は茶色っぽくない ; $hypothesis$ = もし仮にこのぽのぽゆLv.17はしょぼくてそれに利用し難いならばそれは茶色っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽのぽゆLv.17はしょぼいし更にそれは利用し難い; assump1 -> int1: このぽのぽゆLv.17はしょぼい; int1 -> int2: このぽのぽゆLv.17はしょぼいかあるいは深いかどちらもだ; int2 & fact2 -> int3: このぽのぽゆLv.17は茶色っぽくない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis; __PROVED__