話し難いということが発生する
fact1: 「感慨深いということが起きるしみにょみいLv.12事件は起きない」ということは正しくない fact2: もし「感慨深いということは発生しないし加えてみにょみいLv.12事件は起こらない」ということは事実と異なるとしたらしつっこいということが生じる fact3: しつっこいということは「話し難いということは発生しない」ということを阻止する fact4: 「感慨深いということは起きないしまたみにょみいLv.12事件は生じない」ということは成り立たない
fact2 & fact4 -> int1: しつっこいということが起こる; int1 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「感慨深いということが起きるしみにょみいLv.12事件は起きない」ということは正しくない fact2: もし「感慨深いということは発生しないし加えてみにょみいLv.12事件は起こらない」ということは事実と異なるとしたらしつっこいということが生じる fact3: しつっこいということは「話し難いということは発生しない」ということを阻止する fact4: 「感慨深いということは起きないしまたみにょみいLv.12事件は生じない」ということは成り立たない ; $hypothesis$ = 話し難いということが発生する ; $proof$ = 
fact2 & fact4 -> int1: しつっこいということが起こる; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__