みちゃみゆLv.2事件が発生する
fact1: 弛み無いということはみちゃみゆLv.2事件をもたらす fact2: ぴくぴねLv.34事件およびみくみやLv.1事件が起こる fact3: 萎びることが生じる fact4: みくみやLv.1事件は弛み無いということが起きるということをもたらす fact5: ぴくぴねLv.34事件が起きる fact6: もし「ぴくぴねLv.34事件とみちゃみゆLv.2事件が起きる」ということは成り立たないとしたらみちゃみゆLv.2事件は発生しない fact7: 配色することおよびまちゅまよLv.30事件両方ともが起こる fact8: 艶っぽいということおよび後らしいということ両方が発生する
fact2 -> int1: みくみやLv.1事件が発生する; int1 & fact4 -> int2: 弛み無いということが起こる; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis;
「みちゃみゆLv.2事件は発生しない」ということは正しい
$facts$ = fact1: 弛み無いということはみちゃみゆLv.2事件をもたらす fact2: ぴくぴねLv.34事件およびみくみやLv.1事件が起こる fact3: 萎びることが生じる fact4: みくみやLv.1事件は弛み無いということが起きるということをもたらす fact5: ぴくぴねLv.34事件が起きる fact6: もし「ぴくぴねLv.34事件とみちゃみゆLv.2事件が起きる」ということは成り立たないとしたらみちゃみゆLv.2事件は発生しない fact7: 配色することおよびまちゅまよLv.30事件両方ともが起こる fact8: 艶っぽいということおよび後らしいということ両方が発生する ; $hypothesis$ = みちゃみゆLv.2事件が発生する ; $proof$ = 
fact2 -> int1: みくみやLv.1事件が発生する; int1 & fact4 -> int2: 弛み無いということが起こる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__