以下のように仮定する。そのまえまわLv.63は期待し難い
fact1: 「このぴにゃぴねLv.43は来易い」ということは真実である fact2: そのまえまわLv.63はでかい
void -> assump1: 以下のように仮定する。そのまえまわLv.63は期待し難い; fact2 & assump1 -> int1: そのまえまわLv.63はでかいし期待し難い;
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a});
$facts$ = fact1: 「このぴにゃぴねLv.43は来易い」ということは真実である fact2: そのまえまわLv.63はでかい ; $hypothesis$ = 以下のように仮定する。そのまえまわLv.63は期待し難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__