仮にあのぷちゅぷちゅLv.51が女の子らしいとしたらそのみわみやLv.12は突っ張る
fact1: もしあのぷちゅぷちゅLv.51が女の子らしいならばそのみわみやLv.12はうら若し fact2: あのぷちゅぷちゅLv.51が突っ張るならそのみわみやLv.12は女の子らしい fact3: もし仮にそのみわみやLv.12がうら若しとすればそのみわみやLv.12は突っ張る
void -> assump1: 以下のように仮定する。あのぷちゅぷちゅLv.51は女の子らしい; fact1 & assump1 -> int1: そのみわみやLv.12はうら若し; int1 & fact3 -> int2: そのみわみやLv.12は突っ張る; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしあのぷちゅぷちゅLv.51が女の子らしいならばそのみわみやLv.12はうら若し fact2: あのぷちゅぷちゅLv.51が突っ張るならそのみわみやLv.12は女の子らしい fact3: もし仮にそのみわみやLv.12がうら若しとすればそのみわみやLv.12は突っ張る ; $hypothesis$ = 仮にあのぷちゅぷちゅLv.51が女の子らしいとしたらそのみわみやLv.12は突っ張る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷちゅぷちゅLv.51は女の子らしい; fact1 & assump1 -> int1: そのみわみやLv.12はうら若し; int1 & fact3 -> int2: そのみわみやLv.12は突っ張る; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__