「もしこのぽくぽわLv.23がせせこましいとすればこのまえまくLv.56は対応し易い」ということは偽である
fact1: もしこのぽくぽわLv.23がせせこましいとするとこのまくまわLv.83はちょろい
void -> assump1: 以下のように仮定する。このぽくぽわLv.23はせせこましい; fact1 & assump1 -> int1: このまくまわLv.83はちょろい;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
$facts$ = fact1: もしこのぽくぽわLv.23がせせこましいとするとこのまくまわLv.83はちょろい ; $hypothesis$ = 「もしこのぽくぽわLv.23がせせこましいとすればこのまえまくLv.56は対応し易い」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__