あのぴにょぴなLv.4は遺存しない
fact1: そのみにょみやLv.15は平らがない fact2: もし仮にあのぴにょぴなLv.4が浅しならそのみのみわLv.98は平らぐということはない fact3: もしあのぴにょぴなLv.4が遺存するか浅しとすればそのみのみわLv.98は平らぐということはない fact4: そのみのみわLv.98は平らぐ
void -> assump1: 以下のように仮定する。あのぴにょぴなLv.4は遺存する; assump1 -> int1: あのぴにょぴなLv.4は遺存するかあるいは浅しかもしくは両方である; int1 & fact3 -> int2: そのみのみわLv.98は平らがない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのみにょみやLv.15は平らがない fact2: もし仮にあのぴにょぴなLv.4が浅しならそのみのみわLv.98は平らぐということはない fact3: もしあのぴにょぴなLv.4が遺存するか浅しとすればそのみのみわLv.98は平らぐということはない fact4: そのみのみわLv.98は平らぐ ; $hypothesis$ = あのぴにょぴなLv.4は遺存しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにょぴなLv.4は遺存する; assump1 -> int1: あのぴにょぴなLv.4は遺存するかあるいは浅しかもしくは両方である; int1 & fact3 -> int2: そのみのみわLv.98は平らがない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__