もちゅもえLv.0事件は起こらない
fact1: 「もちゅもえLv.0事件が発生する」ということは「せこいということが起きるかまたは腐り易いということが起きる」ということに阻止される fact2: 太り易いということは発生しない fact3: 仮に壊れ易いということは発生しないとすると思しということが起こるしせこいということが発生する fact4: もし太り易いということは発生しないとすればせこいということおよび壊れ易いということ両方が起きる
fact4 & fact2 -> int1: せこいということおよび壊れ易いということが起きる; int1 -> int2: 「せこいということが生じる」ということは正しい; int2 -> int3: せこいということが生じるかあるいは腐り易いということが生じる; int3 & fact1 -> hypothesis;
fact4 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact1 -> hypothesis;
ぽのぽえLv.28事件が起こるかあるいは思しということが生じる
$facts$ = fact1: 「もちゅもえLv.0事件が発生する」ということは「せこいということが起きるかまたは腐り易いということが起きる」ということに阻止される fact2: 太り易いということは発生しない fact3: 仮に壊れ易いということは発生しないとすると思しということが起こるしせこいということが発生する fact4: もし太り易いということは発生しないとすればせこいということおよび壊れ易いということ両方が起きる ; $hypothesis$ = もちゅもえLv.0事件は起こらない ; $proof$ = 
fact4 & fact2 -> int1: せこいということおよび壊れ易いということが起きる; int1 -> int2: 「せこいということが生じる」ということは正しい; int2 -> int3: せこいということが生じるかあるいは腐り易いということが生じる; int3 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact1 -> hypothesis; __PROVED__