以下のように仮定する。そのみちょみなLv.97は失する
fact1: このぷにゅぷよLv.70は失しない fact2: そのみちょみなLv.97は焼き難くない fact3: もし仮にそのみちょみなLv.97が失するとしたら特別視する fact4: もしもあのぴいぴにょLv.17が特別視するとすれば写す
void -> assump1: 以下のように仮定する。そのみちょみなLv.97は失する; fact3 & assump1 -> int1: そのみちょみなLv.97は特別視する;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a};
$facts$ = fact1: このぷにゅぷよLv.70は失しない fact2: そのみちょみなLv.97は焼き難くない fact3: もし仮にそのみちょみなLv.97が失するとしたら特別視する fact4: もしもあのぴいぴにょLv.17が特別視するとすれば写す ; $hypothesis$ = 以下のように仮定する。そのみちょみなLv.97は失する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__