仮にもゆもゆLv.1事件が起こるしその上炊き上げることが起きるとすると色好いということは発生しない
fact1: 「色好いということは生じない」ということはもゆもゆLv.1事件かもにもやLv.1事件が原因である fact2: 「色好いということは発生しない」ということは「もゆもゆLv.1事件が発生するかあるいはもにもやLv.1事件が起こるか両方ともである」ということに防がれる fact3: もし仮に炊き上げることは起こらないならもゆもゆLv.1事件と演技すること両方が起こる fact4: 割り引くことが起こる
void -> assump1: 以下のように仮定する。もゆもゆLv.1事件および炊き上げること両方が生じる; assump1 -> int1: もゆもゆLv.1事件が起きる; int1 -> int2: もゆもゆLv.1事件が起こるかもしくはもにもやLv.1事件が起きるかまたは両方だ; int2 & fact1 -> int3: 色好いということは発生しない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A} & {B}); assump1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> int3: ¬{D}; [assump1] & int3 -> hypothesis;
削り過ぎることが起きるか演技することが起こる
$facts$ = fact1: 「色好いということは生じない」ということはもゆもゆLv.1事件かもにもやLv.1事件が原因である fact2: 「色好いということは発生しない」ということは「もゆもゆLv.1事件が発生するかあるいはもにもやLv.1事件が起こるか両方ともである」ということに防がれる fact3: もし仮に炊き上げることは起こらないならもゆもゆLv.1事件と演技すること両方が起こる fact4: 割り引くことが起こる ; $hypothesis$ = 仮にもゆもゆLv.1事件が起こるしその上炊き上げることが起きるとすると色好いということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。もゆもゆLv.1事件および炊き上げること両方が生じる; assump1 -> int1: もゆもゆLv.1事件が起きる; int1 -> int2: もゆもゆLv.1事件が起こるかもしくはもにもやLv.1事件が起きるかまたは両方だ; int2 & fact1 -> int3: 色好いということは発生しない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ({A} & {B}); assump1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> int3: ¬{D}; [assump1] & int3 -> hypothesis; __PROVED__