仮にまちゃまいLv.10事件が生じないとするともちょもゆLv.15事件は起きないしまちゃまいLv.10事件は起こらない
fact1: 「もちょもゆLv.15事件は発生しない」ということは事実である
void -> assump1: 以下のように仮定する。まちゃまいLv.10事件は発生しない; fact1 & assump1 -> int1: もちょもゆLv.15事件が起きないしそれにまちゃまいLv.10事件は生じない; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{B}; fact1 & assump1 -> int1: (¬{A} & ¬{B}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: 「もちょもゆLv.15事件は発生しない」ということは事実である ; $hypothesis$ = 仮にまちゃまいLv.10事件が生じないとするともちょもゆLv.15事件は起きないしまちゃまいLv.10事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。まちゃまいLv.10事件は発生しない; fact1 & assump1 -> int1: もちょもゆLv.15事件が起きないしそれにまちゃまいLv.10事件は生じない; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{B}; fact1 & assump1 -> int1: (¬{A} & ¬{B}); [assump1] & int1 -> hypothesis; __PROVED__