みなみくLv.90事件が起きるしもわもねLv.66事件が起こる
fact1: 「みなみくLv.90事件が起きる」ということは正しい fact2: 仄暗いということは起きないとしたら「「みなみくLv.90事件ともわもねLv.66事件が発生する」ということは間違っている」ということは確かだ fact3: 「娘らしいということは起きない」ということは「恵み深いということが起こる一方で仄暗いということは起きない」ということを招く fact4: もわもねLv.66事件が発生する fact5: 仲睦まじいということおよび捕まえ易いということ両方ともが発生する fact6: もわもねLv.66事件は起きないということは「打ちかますことおよびみなみくLv.90事件が起きる」ということを引き起こす fact7: 「恵み深いということが起きるし仄暗いということは発生しない」ということは「もわもねLv.66事件は起こらない」ということに帰結する
fact1 -> int1: 「みなみくLv.90事件が起きる」ということは正しい; int1 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> hypothesis;
「みなみくLv.90事件およびもわもねLv.66事件両方ともが起きる」ということは嘘である
$facts$ = fact1: 「みなみくLv.90事件が起きる」ということは正しい fact2: 仄暗いということは起きないとしたら「「みなみくLv.90事件ともわもねLv.66事件が発生する」ということは間違っている」ということは確かだ fact3: 「娘らしいということは起きない」ということは「恵み深いということが起こる一方で仄暗いということは起きない」ということを招く fact4: もわもねLv.66事件が発生する fact5: 仲睦まじいということおよび捕まえ易いということ両方ともが発生する fact6: もわもねLv.66事件は起きないということは「打ちかますことおよびみなみくLv.90事件が起きる」ということを引き起こす fact7: 「恵み深いということが起きるし仄暗いということは発生しない」ということは「もわもねLv.66事件は起こらない」ということに帰結する ; $hypothesis$ = みなみくLv.90事件が起きるしもわもねLv.66事件が起こる ; $proof$ = 
fact1 -> int1: 「みなみくLv.90事件が起きる」ということは正しい; int1 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__