以下のように仮定する。弁解がましいということが起こる
fact1: ぴねぴいLv.29事件が発生する
void -> assump1: 以下のように仮定する。弁解がましいということが起こる; assump1 -> int1: 少ないということかあるいは弁解がましいということが起きる;
void -> assump1: {B}; assump1 -> int1: ({A} v {B});
$facts$ = fact1: ぴねぴいLv.29事件が発生する ; $hypothesis$ = 以下のように仮定する。弁解がましいということが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__