気持ち良いということおよびどでかいということ両方ともが起こる
fact1: もし「教育することが起きる一方でみゆみにゃLv.68事件は起こらない」ということは誤りならばどでかいということが起こる fact2: 気持ち良いということが起きる fact3: 「教育することが生じるがみゆみにゃLv.68事件は起きない」ということは成り立たない fact4: 「ぷにぷゆLv.17事件が生じるしおまけに気持ち良いということが発生する」ということは「どでかいということは起こらない」ということがきっかけだ
fact1 & fact3 -> int1: どでかいということが発生する; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis;
ぷにぷゆLv.17事件が起こる
$facts$ = fact1: もし「教育することが起きる一方でみゆみにゃLv.68事件は起こらない」ということは誤りならばどでかいということが起こる fact2: 気持ち良いということが起きる fact3: 「教育することが生じるがみゆみにゃLv.68事件は起きない」ということは成り立たない fact4: 「ぷにぷゆLv.17事件が生じるしおまけに気持ち良いということが発生する」ということは「どでかいということは起こらない」ということがきっかけだ ; $hypothesis$ = 気持ち良いということおよびどでかいということ両方ともが起こる ; $proof$ = 
fact1 & fact3 -> int1: どでかいということが発生する; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__