活動し難いということが起きる
fact1: みのみえLv.48事件および名残惜しいということが生じる fact2: ぷねぷにょLv.71事件が発生する fact3: 活動し難いということは「ぷねぷにょLv.71事件および若々しいということが起きる」ということに防がれる fact4: 若々しいということが発生するしみのみえLv.48事件が起こる fact5: みのみえLv.48事件が起きる
fact4 -> int1: 若々しいということが起こる; int1 & fact2 -> int2: ぷねぷにょLv.71事件および若々しいということ両方が生じる; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> int2: ({C} & {A}); int2 & fact3 -> hypothesis;
名残惜しいということおよび痛み易いということが起きる
fact6 -> int3: 名残惜しいということが生じる;
$facts$ = fact1: みのみえLv.48事件および名残惜しいということが生じる fact2: ぷねぷにょLv.71事件が発生する fact3: 活動し難いということは「ぷねぷにょLv.71事件および若々しいということが起きる」ということに防がれる fact4: 若々しいということが発生するしみのみえLv.48事件が起こる fact5: みのみえLv.48事件が起きる ; $hypothesis$ = 活動し難いということが起きる ; $proof$ = 
fact4 -> int1: 若々しいということが起こる; int1 & fact2 -> int2: ぷねぷにょLv.71事件および若々しいということ両方が生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact2 -> int2: ({C} & {A}); int2 & fact3 -> hypothesis; __DISPROVED__