幼いということは起こらない
fact1: ぽのぽよLv.66事件が起きる fact2: 「手痛いということが生じる」ということかまたは「旨しということが発生する」ということかどちらもは幼いということを阻止する fact3: 「契約出来ることは発生しない」ということは「もちゅもよLv.21事件が起こる」ということに阻止される fact4: 契約出来ることは「旨しということは発生しない」ということを阻止する fact5: 「幼いということが生じる」ということは手痛いということに防がれる fact6: 手痛いということは「旨しということは発生するが契約出来ることは起こらない」ということに帰結する fact7: もちゅもよLv.21事件が生じるということはぽのぽよLv.66事件が契機だ fact8: もしも旨しということが起こるし契約出来ることが起きないならばもちゅもよLv.21事件は起きない
fact7 & fact1 -> int1: もちゅもよLv.21事件が生じる; int1 & fact3 -> int2: 契約出来ることが起こる; int2 & fact4 -> int3: 旨しということが起こる; int3 -> int4: 手痛いということかまたは旨しということかもしくはどちらもが生じる; int4 & fact2 -> hypothesis;
fact7 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 -> int4: ({E} v {D}); int4 & fact2 -> hypothesis;
幼いということが発生する
$facts$ = fact1: ぽのぽよLv.66事件が起きる fact2: 「手痛いということが生じる」ということかまたは「旨しということが発生する」ということかどちらもは幼いということを阻止する fact3: 「契約出来ることは発生しない」ということは「もちゅもよLv.21事件が起こる」ということに阻止される fact4: 契約出来ることは「旨しということは発生しない」ということを阻止する fact5: 「幼いということが生じる」ということは手痛いということに防がれる fact6: 手痛いということは「旨しということは発生するが契約出来ることは起こらない」ということに帰結する fact7: もちゅもよLv.21事件が生じるということはぽのぽよLv.66事件が契機だ fact8: もしも旨しということが起こるし契約出来ることが起きないならばもちゅもよLv.21事件は起きない ; $hypothesis$ = 幼いということは起こらない ; $proof$ = 
fact7 & fact1 -> int1: もちゅもよLv.21事件が生じる; int1 & fact3 -> int2: 契約出来ることが起こる; int2 & fact4 -> int3: 旨しということが起こる; int3 -> int4: 手痛いということかまたは旨しということかもしくはどちらもが生じる; int4 & fact2 -> hypothesis; __PROVED__
fact7 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 -> int4: ({E} v {D}); int4 & fact2 -> hypothesis; __PROVED__