以下のように仮定する。このぷちゅぷねLv.88は合わせ辛い
fact1: このぷちゅぷねLv.88が図り難いかあるいはそれが合わせ辛いかもしくは両方ともならこのぽちょぽにLv.52は平べったくない fact2: もし仮にこのぷちゅぷねLv.88が図り難いとするとこのぽちょぽにLv.52は平べったくない
void -> assump1: 以下のように仮定する。このぷちゅぷねLv.88は合わせ辛い; assump1 -> int1: このぷちゅぷねLv.88は図り難いかもしくは合わせ辛いか両方である; int1 & fact1 -> int2: このぽちょぽにLv.52は平べったくない;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b};
$facts$ = fact1: このぷちゅぷねLv.88が図り難いかあるいはそれが合わせ辛いかもしくは両方ともならこのぽちょぽにLv.52は平べったくない fact2: もし仮にこのぷちゅぷねLv.88が図り難いとするとこのぽちょぽにLv.52は平べったくない ; $hypothesis$ = 以下のように仮定する。このぷちゅぷねLv.88は合わせ辛い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__