似せることは生じない
fact1: もし仮に「みなみちょLv.80事件が起こるかもしくは尽き果てることは生じないかあるいは両方である」ということは間違っているとすれば似せることは起こらない fact2: 仮に「来し易いということは起きない」ということは本当だとしたら「みなみちょLv.80事件が起こるかまたは尽き果てることは発生しない」ということは間違いである fact3: 悩ましいということは起こらないということは似せることと出し難いということが起こるを生じさせる fact4: 来し易いということは起きない
fact2 & fact4 -> int1: 「みなみちょLv.80事件は発生するか尽き果てることは起きない」ということは間違いである; int1 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ¬({AA} v ¬{AB}); int1 & fact1 -> hypothesis;
早しということは生じない
$facts$ = fact1: もし仮に「みなみちょLv.80事件が起こるかもしくは尽き果てることは生じないかあるいは両方である」ということは間違っているとすれば似せることは起こらない fact2: 仮に「来し易いということは起きない」ということは本当だとしたら「みなみちょLv.80事件が起こるかまたは尽き果てることは発生しない」ということは間違いである fact3: 悩ましいということは起こらないということは似せることと出し難いということが起こるを生じさせる fact4: 来し易いということは起きない ; $hypothesis$ = 似せることは生じない ; $proof$ = 
fact2 & fact4 -> int1: 「みなみちょLv.80事件は発生するか尽き果てることは起きない」ということは間違いである; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ¬({AA} v ¬{AB}); int1 & fact1 -> hypothesis; __PROVED__