けたたましいということが生じる
fact1: 「切ることは生じない」ということは「ぷちゅぷよLv.27事件が生じるししかも分かり辛いということが起きる」ということを生じさせる fact2: もし究明することは生じないとすれば「分かり辛いということは起きないがしかしぷちゅぷよLv.27事件が起きる」ということは偽だ fact3: 究明することはけたたましいということは起こらないということを阻む fact4: 分かり辛いということは究明することの原因となる fact5: 切ることは起こらない fact6: みえみわLv.44事件は「究明することが起こらなくて切ることは発生する」ということを招く
fact5 & fact1 -> int1: ぷちゅぷよLv.27事件が発生するし分かり辛いということが起こる; int1 -> int2: 分かり辛いということが起こる; int2 & fact4 -> int3: 究明することが起こる; int3 & fact3 -> hypothesis;
fact5 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact4 -> int3: {C}; int3 & fact3 -> hypothesis;
けたたましいということは起きない
$facts$ = fact1: 「切ることは生じない」ということは「ぷちゅぷよLv.27事件が生じるししかも分かり辛いということが起きる」ということを生じさせる fact2: もし究明することは生じないとすれば「分かり辛いということは起きないがしかしぷちゅぷよLv.27事件が起きる」ということは偽だ fact3: 究明することはけたたましいということは起こらないということを阻む fact4: 分かり辛いということは究明することの原因となる fact5: 切ることは起こらない fact6: みえみわLv.44事件は「究明することが起こらなくて切ることは発生する」ということを招く ; $hypothesis$ = けたたましいということが生じる ; $proof$ = 
fact5 & fact1 -> int1: ぷちゅぷよLv.27事件が発生するし分かり辛いということが起こる; int1 -> int2: 分かり辛いということが起こる; int2 & fact4 -> int3: 究明することが起こる; int3 & fact3 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact4 -> int3: {C}; int3 & fact3 -> hypothesis; __PROVED__