小暗いということは発生するしみちょみにゃLv.30事件は発生する
fact1: 「もいもねLv.81事件と建言すること両方が生じる」ということは「ぽよぽゆLv.46事件は発生しない」ということにもたらされる fact2: 「みちょみにゃLv.30事件が起こる」ということは成り立つ fact3: ぴゆぴねLv.52事件は「小暗いということは起きなくてさらにぽよぽゆLv.46事件は起こらない」ということに帰結する fact4: 建言することは起こらないとすれば「小暗いということとみちょみにゃLv.30事件どちらもが起こる」ということは正しいということはない fact5: ぴゆぴねLv.52事件および操縦出来ることが発生するは「情報収集することは起きない」ということはきっかけである fact6: ぽよぽゆLv.46事件は「小暗いということは生じない」ということを防ぐ fact7: 建言することとぽよぽゆLv.46事件どちらもが生じる fact8: 拝することが起こる
fact7 -> int1: ぽよぽゆLv.46事件が生じる; int1 & fact6 -> int2: 小暗いということが発生する; int2 & fact2 -> hypothesis;
fact7 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact2 -> hypothesis;
脆いということともいもねLv.81事件両方ともが起こる
$facts$ = fact1: 「もいもねLv.81事件と建言すること両方が生じる」ということは「ぽよぽゆLv.46事件は発生しない」ということにもたらされる fact2: 「みちょみにゃLv.30事件が起こる」ということは成り立つ fact3: ぴゆぴねLv.52事件は「小暗いということは起きなくてさらにぽよぽゆLv.46事件は起こらない」ということに帰結する fact4: 建言することは起こらないとすれば「小暗いということとみちょみにゃLv.30事件どちらもが起こる」ということは正しいということはない fact5: ぴゆぴねLv.52事件および操縦出来ることが発生するは「情報収集することは起きない」ということはきっかけである fact6: ぽよぽゆLv.46事件は「小暗いということは生じない」ということを防ぐ fact7: 建言することとぽよぽゆLv.46事件どちらもが生じる fact8: 拝することが起こる ; $hypothesis$ = 小暗いということは発生するしみちょみにゃLv.30事件は発生する ; $proof$ = 
fact7 -> int1: ぽよぽゆLv.46事件が生じる; int1 & fact6 -> int2: 小暗いということが発生する; int2 & fact2 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__