このぽくぽにゃLv.88は難詰する
fact1: 「仮にこのぽいぽくLv.12は流れ易いとすれば「このぽくぽにゃLv.88は難詰する」ということは成り立つ」ということは本当だ fact2: もし仮にこのぽくぽにゃLv.88が流れ易くないならばこのぽくぽにゃLv.88は難詰するということはない fact3: もし仮にこのぽくぽにゃLv.88が流れ易いとしたらこのぽいぽくLv.12は古い
void -> assump1: 以下のように仮定する。このぽくぽにゃLv.88は流れ易い; fact3 & assump1 -> int1: このぽいぽくLv.12は古い;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b};
このぽくぽにゃLv.88は難詰する
$facts$ = fact1: 「仮にこのぽいぽくLv.12は流れ易いとすれば「このぽくぽにゃLv.88は難詰する」ということは成り立つ」ということは本当だ fact2: もし仮にこのぽくぽにゃLv.88が流れ易くないならばこのぽくぽにゃLv.88は難詰するということはない fact3: もし仮にこのぽくぽにゃLv.88が流れ易いとしたらこのぽいぽくLv.12は古い ; $hypothesis$ = このぽくぽにゃLv.88は難詰する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__