以下のように仮定する。このぽにぽちょLv.96は恐ろしい
fact1: このぽにぽちょLv.96が分離し易いならばあのぴちゃぴにゃLv.47は落ちぶれるということはない fact2: あのぴちゃぴにゃLv.47は落ちぶれる fact3: もしなんらかのモンスターが落ちぶれないとしたら恐ろしいし分離し易い
void -> assump1: 以下のように仮定する。このぽにぽちょLv.96は恐ろしい; assump1 -> int1: このぽにぽちょLv.96は分離し易いかもしくは恐ろしい;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a});
以下のように仮定する。このぽにぽちょLv.96は恐ろしい
fact4 -> int2: 「もしこのぽにぽちょLv.96が落ちぶれないならばこのぽにぽちょLv.96は恐ろしいし分離し易い」ということは成り立つ;
$facts$ = fact1: このぽにぽちょLv.96が分離し易いならばあのぴちゃぴにゃLv.47は落ちぶれるということはない fact2: あのぴちゃぴにゃLv.47は落ちぶれる fact3: もしなんらかのモンスターが落ちぶれないとしたら恐ろしいし分離し易い ; $hypothesis$ = 以下のように仮定する。このぽにぽちょLv.96は恐ろしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__