まえまなLv.81事件は生じない
fact1: みなみいLv.45事件が生じる fact2: 迷い難いということは起こらなくて落ち難いということは起こらない fact3: 仮にぴいぴわLv.10事件が起こるしみなみいLv.45事件が起きるとすると「まえまなLv.81事件は起きない」ということは真実である fact4: もし仮に迷い難いということは生じないしおまけに落ち難いということは発生しないとすれば「ぴいぴわLv.10事件が発生する」ということは成り立つ fact5: ぴいぴわLv.10事件は起きないということは「迷い難いということが発生する一方で落ち難いということは生じない」ということに阻まれる
fact4 & fact2 -> int1: 「ぴいぴわLv.10事件が生じる」ということは成り立つ; int1 & fact1 -> int2: ぴいぴわLv.10事件およびみなみいLv.45事件が発生する; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {A}); int2 & fact3 -> hypothesis;
$facts$ = fact1: みなみいLv.45事件が生じる fact2: 迷い難いということは起こらなくて落ち難いということは起こらない fact3: 仮にぴいぴわLv.10事件が起こるしみなみいLv.45事件が起きるとすると「まえまなLv.81事件は起きない」ということは真実である fact4: もし仮に迷い難いということは生じないしおまけに落ち難いということは発生しないとすれば「ぴいぴわLv.10事件が発生する」ということは成り立つ fact5: ぴいぴわLv.10事件は起きないということは「迷い難いということが発生する一方で落ち難いということは生じない」ということに阻まれる ; $hypothesis$ = まえまなLv.81事件は生じない ; $proof$ = 
fact4 & fact2 -> int1: 「ぴいぴわLv.10事件が生じる」ということは成り立つ; int1 & fact1 -> int2: ぴいぴわLv.10事件およびみなみいLv.45事件が発生する; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {A}); int2 & fact3 -> hypothesis; __PROVED__