もしこのみにみにLv.96が剃り上げるとしたらあのぴにゃぴちゃLv.99は胚胎する
fact1: もしこのみにみにLv.96は剃り上げれば「そのぴちゅぴにゃLv.7は利用し辛くないが洒落込む」ということは真実でない fact2: もしもそのぴちゅぴにゃLv.7が洒落込まないとするとあのぴにゃぴちゃLv.99は用い得る fact3: 仮に「「そのぴちゅぴにゃLv.7は利用し辛くないがしかし洒落込む」ということは誤りである」ということは確かならあのぴにゃぴちゃLv.99は用い得る fact4: 仮に「このみにみにLv.96は剃り上げる」ということは事実なら利用し辛い
void -> assump1: 以下のように仮定する。このみにみにLv.96は剃り上げる; fact1 & assump1 -> int1: 「そのぴちゅぴにゃLv.7は利用し辛くないがしかし洒落込む」ということは事実と異なる; int1 & fact3 -> int2: あのぴにゃぴちゃLv.99は用い得る;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact3 -> int2: {B}{c};
$facts$ = fact1: もしこのみにみにLv.96は剃り上げれば「そのぴちゅぴにゃLv.7は利用し辛くないが洒落込む」ということは真実でない fact2: もしもそのぴちゅぴにゃLv.7が洒落込まないとするとあのぴにゃぴちゃLv.99は用い得る fact3: 仮に「「そのぴちゅぴにゃLv.7は利用し辛くないがしかし洒落込む」ということは誤りである」ということは確かならあのぴにゃぴちゃLv.99は用い得る fact4: 仮に「このみにみにLv.96は剃り上げる」ということは事実なら利用し辛い ; $hypothesis$ = もしこのみにみにLv.96が剃り上げるとしたらあのぴにゃぴちゃLv.99は胚胎する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__