付着し易いということは発生しない
fact1: ぷえぷなLv.57事件は「もえもちょLv.21事件は生じない」ということを阻む fact2: もえもちょLv.21事件は設計することに誘発される fact3: 付着し易いということは「もえもちょLv.21事件が起きるかもしくは何気無いということが起こるかまたは両方ともだ」ということに阻止される fact4: ぷえぷなLv.57事件が起こるか設計することが起きる
fact4 & fact1 & fact2 -> int1: もえもちょLv.21事件が起きる; int1 -> int2: 「もえもちょLv.21事件かもしくは何気無いということかあるいはどちらもが起こる」ということは正しい; int2 & fact3 -> hypothesis;
fact4 & fact1 & fact2 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact3 -> hypothesis;
$facts$ = fact1: ぷえぷなLv.57事件は「もえもちょLv.21事件は生じない」ということを阻む fact2: もえもちょLv.21事件は設計することに誘発される fact3: 付着し易いということは「もえもちょLv.21事件が起きるかもしくは何気無いということが起こるかまたは両方ともだ」ということに阻止される fact4: ぷえぷなLv.57事件が起こるか設計することが起きる ; $hypothesis$ = 付着し易いということは発生しない ; $proof$ = 
fact4 & fact1 & fact2 -> int1: もえもちょLv.21事件が起きる; int1 -> int2: 「もえもちょLv.21事件かもしくは何気無いということかあるいはどちらもが起こる」ということは正しい; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 & fact2 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact3 -> hypothesis; __PROVED__