呪わしいということは生じない
fact1: ぴいぴにょLv.64事件が起きる fact2: 分かり辛いということが起きるしまた甘辛いということが起きる fact3: 溶け難いということが起こる fact4: みにゃみゆLv.90事件が起こる fact5: 呪わしいということは「みにみちゃLv.56事件が起きる」ということが原因だ fact6: 甘辛いということが起きるということは「みにみちゃLv.56事件は起こらない」ということを回避する fact7: 「もよもよLv.50事件は起きない」ということは成り立たない
fact2 -> int1: 甘辛いということが起こる; int1 & fact6 -> int2: みにみちゃLv.56事件が生じる; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact5 -> hypothesis;
$facts$ = fact1: ぴいぴにょLv.64事件が起きる fact2: 分かり辛いということが起きるしまた甘辛いということが起きる fact3: 溶け難いということが起こる fact4: みにゃみゆLv.90事件が起こる fact5: 呪わしいということは「みにみちゃLv.56事件が起きる」ということが原因だ fact6: 甘辛いということが起きるということは「みにみちゃLv.56事件は起こらない」ということを回避する fact7: 「もよもよLv.50事件は起きない」ということは成り立たない ; $hypothesis$ = 呪わしいということは生じない ; $proof$ = 
fact2 -> int1: 甘辛いということが起こる; int1 & fact6 -> int2: みにみちゃLv.56事件が生じる; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact5 -> hypothesis; __DISPROVED__