骨っぽいということは発生しない
fact1: まなまちゅLv.54事件は発生するしみのみちゃLv.98事件は発生する fact2: 倒れ難いということは発生しないとするとみちゃみなLv.58事件は起きないし更に忝いということは起こらない fact3: 骨っぽいということはみのみちゃLv.98事件に由来する fact4: みのみちゃLv.98事件が起きないならば骨っぽいということは発生しなくてそれにまなまちゅLv.54事件は起きない fact5: 「躱すことは生じない」ということかあるいはもなもなLv.99事件は起こらないということか両方ともはみのみちゃLv.98事件を防ぐ fact6: 「躱すことが起こらないかあるいはもなもなLv.99事件は生じない」ということは忝いということは起こらないということに起因する
fact1 -> int1: みのみちゃLv.98事件が起きる; int1 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> hypothesis;
骨っぽいということは発生しない
$facts$ = fact1: まなまちゅLv.54事件は発生するしみのみちゃLv.98事件は発生する fact2: 倒れ難いということは発生しないとするとみちゃみなLv.58事件は起きないし更に忝いということは起こらない fact3: 骨っぽいということはみのみちゃLv.98事件に由来する fact4: みのみちゃLv.98事件が起きないならば骨っぽいということは発生しなくてそれにまなまちゅLv.54事件は起きない fact5: 「躱すことは生じない」ということかあるいはもなもなLv.99事件は起こらないということか両方ともはみのみちゃLv.98事件を防ぐ fact6: 「躱すことが起こらないかあるいはもなもなLv.99事件は生じない」ということは忝いということは起こらないということに起因する ; $hypothesis$ = 骨っぽいということは発生しない ; $proof$ = 
fact1 -> int1: みのみちゃLv.98事件が起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__