まにょまえLv.17事件は発生しない
fact1: まにょまなLv.93事件がまにょまえLv.17事件は起こらないということを防ぐ fact2: 納得し難いということは「まいまにLv.43事件が生じなくてその上みなみねLv.81事件は生じない」ということに繋がる fact3: 「まにょまなLv.93事件ではなくて弾き易いということが発生する」ということはまいまにLv.43事件は起きないということに引き起こされる fact4: ぽえぽのLv.67事件が起きる fact5: ぽえぽのLv.67事件は「まにょまなLv.93事件は発生しない」ということを阻止する
fact5 & fact4 -> int1: まにょまなLv.93事件が発生する; int1 & fact1 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact1 -> hypothesis;
まにょまえLv.17事件は発生しない
$facts$ = fact1: まにょまなLv.93事件がまにょまえLv.17事件は起こらないということを防ぐ fact2: 納得し難いということは「まいまにLv.43事件が生じなくてその上みなみねLv.81事件は生じない」ということに繋がる fact3: 「まにょまなLv.93事件ではなくて弾き易いということが発生する」ということはまいまにLv.43事件は起きないということに引き起こされる fact4: ぽえぽのLv.67事件が起きる fact5: ぽえぽのLv.67事件は「まにょまなLv.93事件は発生しない」ということを阻止する ; $hypothesis$ = まにょまえLv.17事件は発生しない ; $proof$ = 
fact5 & fact4 -> int1: まにょまなLv.93事件が発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: {B}; int1 & fact1 -> hypothesis; __DISPROVED__