まにゅまよLv.62事件が生じる
fact1: 「みなみにゃLv.21事件は起きない」ということは成り立たない fact2: みなみにゃLv.21事件はまにゅまよLv.62事件に繋がる fact3: 「分かち難いということが起きる」ということは正しい fact4: 「地中深いということは発生しない」ということは薬臭いということに阻まれる
fact1 -> int1: 「みなみにゃLv.21事件は起きない」ということは成り立たない; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「みなみにゃLv.21事件は起きない」ということは成り立たない fact2: みなみにゃLv.21事件はまにゅまよLv.62事件に繋がる fact3: 「分かち難いということが起きる」ということは正しい fact4: 「地中深いということは発生しない」ということは薬臭いということに阻まれる ; $hypothesis$ = まにゅまよLv.62事件が生じる ; $proof$ = 
fact1 -> int1: 「みなみにゃLv.21事件は起きない」ということは成り立たない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__