このぴわぴのLv.76が消化し難いとしたらこのもちゅものLv.20は鬻ぐ
fact1: このぴわぴのLv.76は甘ったるくない fact2: もしもこのぴわぴのLv.76が消化し難いけど甘ったるくないならこのもちゅものLv.20は鬻ぐ fact3: このもちゅものLv.20は消化し難い
void -> assump1: 以下のように仮定する。このぴわぴのLv.76は消化し難い; assump1 & fact1 -> int1: このぴわぴのLv.76は消化し難いが甘ったるくない; int1 & fact2 -> int2: このもちゅものLv.20は鬻ぐ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: このぴわぴのLv.76は甘ったるくない fact2: もしもこのぴわぴのLv.76が消化し難いけど甘ったるくないならこのもちゅものLv.20は鬻ぐ fact3: このもちゅものLv.20は消化し難い ; $hypothesis$ = このぴわぴのLv.76が消化し難いとしたらこのもちゅものLv.20は鬻ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴわぴのLv.76は消化し難い; assump1 & fact1 -> int1: このぴわぴのLv.76は消化し難いが甘ったるくない; int1 & fact2 -> int2: このもちゅものLv.20は鬻ぐ; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__