そのぷわぷちゃLv.68は聞こゆないがしかし街らしい
fact1: 「あのみなみねLv.53は聞こゆない」ということは成り立つ fact2: もしもそのぷわぷちゃLv.68が聞こゆとしたら無声化し易い fact3: そのぷわぷちゃLv.68は無声化し易くない fact4: もしも「そのぷわぷちゃLv.68は無声化し易いしその上聞こゆ」ということは成り立たないとしたらあのぽにゅぽよLv.54は聞こゆない fact5: そのぷわぷちゃLv.68は街らしい
void -> assump1: 以下のように仮定する。「そのぷわぷちゃLv.68は聞こゆ」ということは正しい; fact2 & assump1 -> int1: そのぷわぷちゃLv.68は無声化し易い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぷわぷちゃLv.68は聞こゆということはない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
あのぽにゅぽよLv.54は聞こゆない
$facts$ = fact1: 「あのみなみねLv.53は聞こゆない」ということは成り立つ fact2: もしもそのぷわぷちゃLv.68が聞こゆとしたら無声化し易い fact3: そのぷわぷちゃLv.68は無声化し易くない fact4: もしも「そのぷわぷちゃLv.68は無声化し易いしその上聞こゆ」ということは成り立たないとしたらあのぽにゅぽよLv.54は聞こゆない fact5: そのぷわぷちゃLv.68は街らしい ; $hypothesis$ = そのぷわぷちゃLv.68は聞こゆないがしかし街らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぷわぷちゃLv.68は聞こゆ」ということは正しい; fact2 & assump1 -> int1: そのぷわぷちゃLv.68は無声化し易い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぷわぷちゃLv.68は聞こゆということはない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __PROVED__