ぴなぴなLv.83事件およびみわみちょLv.41事件が生じる
fact1: 寝苦しいということはぴなぴなLv.83事件を誘発する fact2: まにゅまねLv.19事件が起こる fact3: 「喧しいということは発生しない」ということは「ぴなぴなLv.83事件ではなくみわみちょLv.41事件が起こる」ということに阻まれる fact4: みわみちょLv.41事件が発生する fact5: 寝苦しいということは読み込むことがきっかけだ fact6: 読み込むことが起こるしまたまにゅまねLv.19事件が起こる
fact6 -> int1: 読み込むことが発生する; fact5 & int1 -> int2: 寝苦しいということが起こる; int2 & fact1 -> int3: ぴなぴなLv.83事件が起きる; int3 & fact4 -> hypothesis;
fact6 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact4 -> hypothesis;
喧しいということが起こるし熱っぽいということが起こる
$facts$ = fact1: 寝苦しいということはぴなぴなLv.83事件を誘発する fact2: まにゅまねLv.19事件が起こる fact3: 「喧しいということは発生しない」ということは「ぴなぴなLv.83事件ではなくみわみちょLv.41事件が起こる」ということに阻まれる fact4: みわみちょLv.41事件が発生する fact5: 寝苦しいということは読み込むことがきっかけだ fact6: 読み込むことが起こるしまたまにゅまねLv.19事件が起こる ; $hypothesis$ = ぴなぴなLv.83事件およびみわみちょLv.41事件が生じる ; $proof$ = 
fact6 -> int1: 読み込むことが発生する; fact5 & int1 -> int2: 寝苦しいということが起こる; int2 & fact1 -> int3: ぴなぴなLv.83事件が起きる; int3 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact4 -> hypothesis; __PROVED__