口汚いということが起こるとするともにもにゃLv.38事件は発生しないしさらに捕まえ易いということは起こらない
fact1: ぷなぷちゅLv.42事件は起こらないしまた否定し難いということは起きない fact2: ぷにゃぷよLv.82事件が生じる fact3: もっとすることが起きるということは捕まえ易いということは発生しないということを誘発する fact4: 暮らし易いということが起こる fact5: もにもにゃLv.38事件は起きない fact6: 「もっとすることか口汚いということか両方が起きる」ということは捕まえ易いということが生じるということを防ぐ fact7: 冬らしいということが生じるかもしくは若々しいということが生じる
void -> assump1: 以下のように仮定する。口汚いということが生じる; assump1 -> int1: もっとすることか口汚いということが生じる; int1 & fact6 -> int2: 捕まえ易いということは発生しない; int2 & fact5 -> int3: もにもにゃLv.38事件は発生しないしまた捕まえ易いということは発生しない; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{D} & ¬{C}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: ぷなぷちゅLv.42事件は起こらないしまた否定し難いということは起きない fact2: ぷにゃぷよLv.82事件が生じる fact3: もっとすることが起きるということは捕まえ易いということは発生しないということを誘発する fact4: 暮らし易いということが起こる fact5: もにもにゃLv.38事件は起きない fact6: 「もっとすることか口汚いということか両方が起きる」ということは捕まえ易いということが生じるということを防ぐ fact7: 冬らしいということが生じるかもしくは若々しいということが生じる ; $hypothesis$ = 口汚いということが起こるとするともにもにゃLv.38事件は発生しないしさらに捕まえ易いということは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。口汚いということが生じる; assump1 -> int1: もっとすることか口汚いということが生じる; int1 & fact6 -> int2: 捕まえ易いということは発生しない; int2 & fact5 -> int3: もにもにゃLv.38事件は発生しないしまた捕まえ易いということは発生しない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{D} & ¬{C}); [assump1] & int3 -> hypothesis; __PROVED__