以下のように仮定する。辿り着けることは起こらない
fact1: もし「辿り着けることが発生するけれど慈愛深いということは発生しない」ということは成り立たないとすると「まなまよLv.88事件は生じない」ということは成り立つ fact2: 慈愛深いということは発生しない
void -> assump1: 以下のように仮定する。辿り着けることは起こらない; fact2 & assump1 -> int1: 「慈愛深いということは起こらなくて辿り着けることは発生しない」ということは本当だ;
void -> assump1: ¬{B}; fact2 & assump1 -> int1: (¬{A} & ¬{B});
まなまよLv.88事件が生じなくてしかも告訴することは起こらない
$facts$ = fact1: もし「辿り着けることが発生するけれど慈愛深いということは発生しない」ということは成り立たないとすると「まなまよLv.88事件は生じない」ということは成り立つ fact2: 慈愛深いということは発生しない ; $hypothesis$ = 以下のように仮定する。辿り着けることは起こらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__