もし仮にそのみゆみちゃLv.75が慕わしいならこのぴちょぴちゅLv.4は救い難い
fact1: もしこのぴちょぴちゅLv.4が継続し難いとすれば救い難い fact2: 仮にそのみゆみちゃLv.75が慕わしいとするとこのぴちょぴちゅLv.4は継続し難い
void -> assump1: 以下のように仮定する。「そのみゆみちゃLv.75は慕わしい」ということは真実だ; fact2 & assump1 -> int1: このぴちょぴちゅLv.4は継続し難い; int1 & fact1 -> int2: 「このぴちょぴちゅLv.4は救い難い」ということは成り立つ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしこのぴちょぴちゅLv.4が継続し難いとすれば救い難い fact2: 仮にそのみゆみちゃLv.75が慕わしいとするとこのぴちょぴちゅLv.4は継続し難い ; $hypothesis$ = もし仮にそのみゆみちゃLv.75が慕わしいならこのぴちょぴちゅLv.4は救い難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのみゆみちゃLv.75は慕わしい」ということは真実だ; fact2 & assump1 -> int1: このぴちょぴちゅLv.4は継続し難い; int1 & fact1 -> int2: 「このぴちょぴちゅLv.4は救い難い」ということは成り立つ; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__