以下のように仮定する。「開放出来ることが生じる」ということは事実である
fact1: 詮無いということが起こる fact2: ぽくぽのLv.99事件が起こる
void -> assump1: 以下のように仮定する。「開放出来ることが生じる」ということは事実である; assump1 & fact2 -> int1: 「開放出来ることおよびぽくぽのLv.99事件が生じる」ということは成り立つ;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B});
$facts$ = fact1: 詮無いということが起こる fact2: ぽくぽのLv.99事件が起こる ; $hypothesis$ = 以下のように仮定する。「開放出来ることが生じる」ということは事実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__