もよもゆLv.5事件が起きなくてその上ぷにゃぷちょLv.85事件は起きない
fact1: もしもよもゆLv.5事件が生じないとしたらもよもゆLv.5事件が起こらないしその上ぷにゃぷちょLv.85事件は起こらない fact2: 懐かしということが起こる fact3: ぴちょぴよLv.61事件は「みのみわLv.86事件と製造出来ることが発生する」ということに阻止される fact4: もよもゆLv.5事件は「眠いということと懐かしということが発生する」ということに防がれる fact5: 眠いということが起きる
fact5 & fact2 -> int1: 眠いということが起こるしまた懐かしということが起きる; int1 & fact4 -> int2: もよもゆLv.5事件は生じない; int2 & fact1 -> hypothesis;
fact5 & fact2 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもよもゆLv.5事件が生じないとしたらもよもゆLv.5事件が起こらないしその上ぷにゃぷちょLv.85事件は起こらない fact2: 懐かしということが起こる fact3: ぴちょぴよLv.61事件は「みのみわLv.86事件と製造出来ることが発生する」ということに阻止される fact4: もよもゆLv.5事件は「眠いということと懐かしということが発生する」ということに防がれる fact5: 眠いということが起きる ; $hypothesis$ = もよもゆLv.5事件が起きなくてその上ぷにゃぷちょLv.85事件は起きない ; $proof$ = 
fact5 & fact2 -> int1: 眠いということが起こるしまた懐かしということが起きる; int1 & fact4 -> int2: もよもゆLv.5事件は生じない; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __PROVED__