ぷにゃぷちゃLv.82事件が起きる
fact1: 「もくもよLv.93事件ではなくもにょもなLv.56事件が発生する」ということはぷにゃぷちゃLv.82事件は起きないということを防ぐ fact2: 飲み難いということが発生する fact3: もしも見付け易いということは起きないなら「飲み難いということとぷにゃぷちゃLv.82事件が発生する」ということは嘘である fact4: 「もくもよLv.93事件は起こらない」ということは「飲み難いということと見付け易いということが起きる」ということがきっかけである fact5: 「もにょもなLv.56事件は生じない」ということは誤りだ fact6: 見付け易いということが起きる fact7: もしも「飲み難いということとぷにゃぷちゃLv.82事件が起きる」ということは誤っているとしたらぷにゃぷちゃLv.82事件は起こらない
fact2 & fact6 -> int1: 飲み難いということと見付け易いということ両方ともが発生する; int1 & fact4 -> int2: もくもよLv.93事件は起きない; int2 & fact5 -> int3: もくもよLv.93事件は起こらないけどもにょもなLv.56事件が起こる; int3 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{C} & {D}); int3 & fact1 -> hypothesis;
ぷにゃぷちゃLv.82事件は発生しない
$facts$ = fact1: 「もくもよLv.93事件ではなくもにょもなLv.56事件が発生する」ということはぷにゃぷちゃLv.82事件は起きないということを防ぐ fact2: 飲み難いということが発生する fact3: もしも見付け易いということは起きないなら「飲み難いということとぷにゃぷちゃLv.82事件が発生する」ということは嘘である fact4: 「もくもよLv.93事件は起こらない」ということは「飲み難いということと見付け易いということが起きる」ということがきっかけである fact5: 「もにょもなLv.56事件は生じない」ということは誤りだ fact6: 見付け易いということが起きる fact7: もしも「飲み難いということとぷにゃぷちゃLv.82事件が起きる」ということは誤っているとしたらぷにゃぷちゃLv.82事件は起こらない ; $hypothesis$ = ぷにゃぷちゃLv.82事件が起きる ; $proof$ = 
fact2 & fact6 -> int1: 飲み難いということと見付け易いということ両方ともが発生する; int1 & fact4 -> int2: もくもよLv.93事件は起きない; int2 & fact5 -> int3: もくもよLv.93事件は起こらないけどもにょもなLv.56事件が起こる; int3 & fact1 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{C} & {D}); int3 & fact1 -> hypothesis; __PROVED__