このぷやぷくLv.6は真白くない
fact1: そのぴのぴにLv.31は三億六千万双をするということはない fact2: もしもそのぴのぴにLv.31が現われ難いということはないとするとこのぷやぷくLv.6は真白くない fact3: もしそのぴのぴにLv.31が現われ難いとすると三億六千万双をする fact4: なんらかのモンスターが現われ難くないならそれは真白い fact5: すべてのモンスターはちぎれないしそれは憎らしくない
void -> assump1: 以下のように仮定する。そのぴのぴにLv.31は現われ難い; fact3 & assump1 -> int1: そのぴのぴにLv.31は三億六千万双をする; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴのぴにLv.31は現われ難くない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
このぷやぷくLv.6は真白い
fact7 -> int4: このぷやぷくLv.6が現われ難くないとしたらこのぷやぷくLv.6は真白い; fact6 -> int5: そのぽわぽにゅLv.55はちぎれないしそれに憎らしくない; int5 -> int6: そのぽわぽにゅLv.55は憎らしくない; int6 -> int7: 「憎らしくない」モンスターはいる;
$facts$ = fact1: そのぴのぴにLv.31は三億六千万双をするということはない fact2: もしもそのぴのぴにLv.31が現われ難いということはないとするとこのぷやぷくLv.6は真白くない fact3: もしそのぴのぴにLv.31が現われ難いとすると三億六千万双をする fact4: なんらかのモンスターが現われ難くないならそれは真白い fact5: すべてのモンスターはちぎれないしそれは憎らしくない ; $hypothesis$ = このぷやぷくLv.6は真白くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴのぴにLv.31は現われ難い; fact3 & assump1 -> int1: そのぴのぴにLv.31は三億六千万双をする; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴのぴにLv.31は現われ難くない; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __PROVED__