以下のように仮定する。ものもちゃLv.38事件が発生する
fact1: 仮すことが発生しないということは浅ましということかあるいはものもちゃLv.38事件かもしくは両方は原因だ
void -> assump1: 以下のように仮定する。ものもちゃLv.38事件が発生する; assump1 -> int1: 浅ましということかもしくはものもちゃLv.38事件が発生する; int1 & fact1 -> int2: 仮すことは生じない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
$facts$ = fact1: 仮すことが発生しないということは浅ましということかあるいはものもちゃLv.38事件かもしくは両方は原因だ ; $hypothesis$ = 以下のように仮定する。ものもちゃLv.38事件が発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__