変化し易いということは起こらない
fact1: もいもにゃLv.32事件は変化し易いということを招く fact2: ぴいぴちゅLv.86事件が発生する fact3: 惨めったらしいということが生じる fact4: もいもにゃLv.32事件はぴいぴちゅLv.86事件を防ぐ fact5: もしもどでかいということは起きないならばぴいぴちゅLv.86事件が起きるしもいもにゃLv.32事件が発生する
void -> assump1: 以下のように仮定する。変化し易いということが発生する; assump1 -> int1: もいもにゃLv.32事件か変化し易いということかまたは両方が起きる;
void -> assump1: {B}; assump1 -> int1: ({A} v {B});
以下のように仮定する。変化し易いということが発生する
$facts$ = fact1: もいもにゃLv.32事件は変化し易いということを招く fact2: ぴいぴちゅLv.86事件が発生する fact3: 惨めったらしいということが生じる fact4: もいもにゃLv.32事件はぴいぴちゅLv.86事件を防ぐ fact5: もしもどでかいということは起きないならばぴいぴちゅLv.86事件が起きるしもいもにゃLv.32事件が発生する ; $hypothesis$ = 変化し易いということは起こらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__