「伸べることが起こる」ということは正しい
fact1: ぷなぷわLv.21事件は生じないということは「説明し難いということは起きない」ということを回避する fact2: 「説明し難いということおよびぴにぴわLv.25事件両方が起こる」ということはぷなぷわLv.21事件は起こらないということに引き起こされる fact3: もし仮に「ぷなぷわLv.21事件は起きないかまたは口喧しいということは起きないかまたはどちらもだ」ということは成り立たないとすればぴにぴわLv.25事件は起こらない fact4: ぷなぷわLv.21事件は発生しない fact5: 答え難いということは説明し難いということに防がれる fact6: 口喧しいということは生じないということはぴにぴわLv.25事件に阻止される fact7: 仮に口喧しいということが生じれば伸べることが起きる
fact2 & fact4 -> int1: 説明し難いということが起きるしまたぴにぴわLv.25事件が起こる; int1 -> int2: ぴにぴわLv.25事件が起きる; int2 & fact6 -> int3: 口喧しいということが発生する; int3 & fact7 -> hypothesis;
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: {C}; int3 & fact7 -> hypothesis;
伸べることは発生しない
$facts$ = fact1: ぷなぷわLv.21事件は生じないということは「説明し難いということは起きない」ということを回避する fact2: 「説明し難いということおよびぴにぴわLv.25事件両方が起こる」ということはぷなぷわLv.21事件は起こらないということに引き起こされる fact3: もし仮に「ぷなぷわLv.21事件は起きないかまたは口喧しいということは起きないかまたはどちらもだ」ということは成り立たないとすればぴにぴわLv.25事件は起こらない fact4: ぷなぷわLv.21事件は発生しない fact5: 答え難いということは説明し難いということに防がれる fact6: 口喧しいということは生じないということはぴにぴわLv.25事件に阻止される fact7: 仮に口喧しいということが生じれば伸べることが起きる ; $hypothesis$ = 「伸べることが起こる」ということは正しい ; $proof$ = 
fact2 & fact4 -> int1: 説明し難いということが起きるしまたぴにぴわLv.25事件が起こる; int1 -> int2: ぴにぴわLv.25事件が起きる; int2 & fact6 -> int3: 口喧しいということが発生する; int3 & fact7 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: {C}; int3 & fact7 -> hypothesis; __PROVED__