ぴやぴにゃLv.13事件は起こらない
fact1: みやみわLv.28事件か「赤しということは発生しない」ということかどちらもは「憂いということは起こらない」ということに引き起こされる fact2: 手酷いということが生じる fact3: みやみわLv.28事件がぴやぴにゃLv.13事件は発生するということをもたらす fact4: みやみわLv.28事件が起きる
fact4 -> int1: みやみわLv.28事件が起きる; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> hypothesis;
ぴやぴにゃLv.13事件は起こらない
$facts$ = fact1: みやみわLv.28事件か「赤しということは発生しない」ということかどちらもは「憂いということは起こらない」ということに引き起こされる fact2: 手酷いということが生じる fact3: みやみわLv.28事件がぴやぴにゃLv.13事件は発生するということをもたらす fact4: みやみわLv.28事件が起きる ; $hypothesis$ = ぴやぴにゃLv.13事件は起こらない ; $proof$ = 
fact4 -> int1: みやみわLv.28事件が起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__