このぷにょぷにょLv.55は逃れ難くない
fact1: このぷにょぷにょLv.55は猛々しい fact2: このぷにょぷにょLv.55は砕け易い fact3: もしもこのぷにょぷにょLv.55が逃れ難いしその上それが猛々しいならばこのぷにょぷにょLv.55は砕け易くない
void -> assump1: 以下のように仮定する。このぷにょぷにょLv.55は逃れ難い; assump1 & fact1 -> int1: このぷにょぷにょLv.55は逃れ難いし猛々しい; int1 & fact3 -> int2: このぷにょぷにょLv.55は砕け易くない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このぷにょぷにょLv.55は猛々しい fact2: このぷにょぷにょLv.55は砕け易い fact3: もしもこのぷにょぷにょLv.55が逃れ難いしその上それが猛々しいならばこのぷにょぷにょLv.55は砕け易くない ; $hypothesis$ = このぷにょぷにょLv.55は逃れ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷにょぷにょLv.55は逃れ難い; assump1 & fact1 -> int1: このぷにょぷにょLv.55は逃れ難いし猛々しい; int1 & fact3 -> int2: このぷにょぷにょLv.55は砕け易くない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__