「早しということが発生する」ということは正しい
fact1: みわみねLv.61事件は起きないけどぴちゅぴちょLv.7事件が起きる fact2: ぴちゅぴちょLv.7事件が生じるし燃え易いということが生じるなら早しということは発生しない fact3: 「やばいということおよびぽのぽゆLv.21事件どちらもが起きる」ということは「ぴやぴえLv.79事件は起きない」ということに起因する fact4: 「燃え易いということが発生する」ということは成り立つ fact5: ぴやぴえLv.79事件が生じないということは「御掛けすることが生じるし気持ち良いということは起きない」ということは原因だ fact6: 賢しということは発生しないということはみわみねLv.61事件に阻止される fact7: ぽのぽゆLv.21事件は「早しということが起こるし燃え易いということは起こらない」ということのきっかけとなる
fact1 -> int1: 「ぴちゅぴちょLv.7事件が起こる」ということは正しい; int1 & fact4 -> int2: ぴちゅぴちょLv.7事件および燃え易いということ両方が発生する; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
賢しということが起きる
$facts$ = fact1: みわみねLv.61事件は起きないけどぴちゅぴちょLv.7事件が起きる fact2: ぴちゅぴちょLv.7事件が生じるし燃え易いということが生じるなら早しということは発生しない fact3: 「やばいということおよびぽのぽゆLv.21事件どちらもが起きる」ということは「ぴやぴえLv.79事件は起きない」ということに起因する fact4: 「燃え易いということが発生する」ということは成り立つ fact5: ぴやぴえLv.79事件が生じないということは「御掛けすることが生じるし気持ち良いということは起きない」ということは原因だ fact6: 賢しということは発生しないということはみわみねLv.61事件に阻止される fact7: ぽのぽゆLv.21事件は「早しということが起こるし燃え易いということは起こらない」ということのきっかけとなる ; $hypothesis$ = 「早しということが発生する」ということは正しい ; $proof$ = 
fact1 -> int1: 「ぴちゅぴちょLv.7事件が起こる」ということは正しい; int1 & fact4 -> int2: ぴちゅぴちょLv.7事件および燃え易いということ両方が発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__