以下のように仮定する。このぷにぷやLv.29は認め難くない
fact1: あのぷゆぷくLv.5は怖い fact2: このぷにぷやLv.29が認め難くないならばそれは悪賢いということはない fact3: もしこのぷにぷやLv.29が悪賢くないとしたらあのぷゆぷくLv.5は怖いということはない fact4: もしも怖いモンスターが悪賢いということはないとしたら認め難くない
void -> assump1: 以下のように仮定する。このぷにぷやLv.29は認め難くない; fact2 & assump1 -> int1: このぷにぷやLv.29は悪賢くない; int1 & fact3 -> int2: あのぷゆぷくLv.5は怖くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷにぷやLv.29は認め難くない
fact5 -> int4: このぷにぷやLv.29は怖いけど悪賢いということはないならば認め難くない;
$facts$ = fact1: あのぷゆぷくLv.5は怖い fact2: このぷにぷやLv.29が認め難くないならばそれは悪賢いということはない fact3: もしこのぷにぷやLv.29が悪賢くないとしたらあのぷゆぷくLv.5は怖いということはない fact4: もしも怖いモンスターが悪賢いということはないとしたら認め難くない ; $hypothesis$ = 以下のように仮定する。このぷにぷやLv.29は認め難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷにぷやLv.29は認め難くない; fact2 & assump1 -> int1: このぷにぷやLv.29は悪賢くない; int1 & fact3 -> int2: あのぷゆぷくLv.5は怖くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__