燃え立つことおよび恥ずことが発生する
fact1: 拭い難いということが発生する fact2: 御知らせ下さることが生じる fact3: 恥ずことが生じる fact4: 話し辛いということが発生する fact5: ぷにゃぷやLv.72事件が起こる fact6: 尤もらしいということは燃え立つことを誘発する fact7: 話し辛いということと尤もらしいということが生じる
fact7 -> int1: 尤もらしいということが起こる; int1 & fact6 -> int2: 燃え立つことが生じる; int2 & fact3 -> hypothesis;
fact7 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 拭い難いということが発生する fact2: 御知らせ下さることが生じる fact3: 恥ずことが生じる fact4: 話し辛いということが発生する fact5: ぷにゃぷやLv.72事件が起こる fact6: 尤もらしいということは燃え立つことを誘発する fact7: 話し辛いということと尤もらしいということが生じる ; $hypothesis$ = 燃え立つことおよび恥ずことが発生する ; $proof$ = 
fact7 -> int1: 尤もらしいということが起こる; int1 & fact6 -> int2: 燃え立つことが生じる; int2 & fact3 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__