名残惜しいということは起きない
fact1: 「押し広げることは発生しない」ということは「物悲しいということが生じるか押し広げることは起きない」ということに誘発される fact2: 仮に押し広げることは発生しないならば名残惜しいということと厭わしいということ両方ともが起きる fact3: もし厭わしいということと押し広げることが生じるとしたら名残惜しいということは起こらない fact4: もしも「「厭わしいということは発生するがぽにゅぽくLv.58事件は起こらない」ということは嘘だ」ということは成り立つとするとぽにゅぽくLv.58事件が起こる fact5: もし仮に押し広げることは発生しないとすれば「厭わしいということが起こるしぽにゅぽくLv.58事件は発生しない」ということは偽である fact6: 押し広げることが起こる fact7: 「厭わしいということが起きる」ということは真実だ
fact7 & fact6 -> int1: 厭わしいということおよび押し広げることどちらもが発生する; int1 & fact3 -> hypothesis;
fact7 & fact6 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
ぽにゅぽくLv.58事件が起きる
$facts$ = fact1: 「押し広げることは発生しない」ということは「物悲しいということが生じるか押し広げることは起きない」ということに誘発される fact2: 仮に押し広げることは発生しないならば名残惜しいということと厭わしいということ両方ともが起きる fact3: もし厭わしいということと押し広げることが生じるとしたら名残惜しいということは起こらない fact4: もしも「「厭わしいということは発生するがぽにゅぽくLv.58事件は起こらない」ということは嘘だ」ということは成り立つとするとぽにゅぽくLv.58事件が起こる fact5: もし仮に押し広げることは発生しないとすれば「厭わしいということが起こるしぽにゅぽくLv.58事件は発生しない」ということは偽である fact6: 押し広げることが起こる fact7: 「厭わしいということが起きる」ということは真実だ ; $hypothesis$ = 名残惜しいということは起きない ; $proof$ = 
fact7 & fact6 -> int1: 厭わしいということおよび押し広げることどちらもが発生する; int1 & fact3 -> hypothesis; __PROVED__
fact7 & fact6 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __PROVED__