もにょもにLv.47事件は起きない
fact1: 「悩ましいということは起きない」ということは「確認し易いということは起きないし更に運転することは起きない」ということを招く fact2: 把握し難いということは「ぷちゃぷにゅLv.7事件は起きないし重いということは起こらない」ということを招く fact3: ぷやぷゆLv.84事件が生じる fact4: 運転することが起きるしまた悩ましいということが発生する fact5: 手際良いということが発生する fact6: 回送することが発生する fact7: もにょもにLv.47事件は「悩ましいということが生じるしさらに回送することが起きる」ということに阻まれる fact8: もし「重いということは起きない」ということは成り立つなら「回送することおよび悩ましいということどちらもが起きる」ということは成り立たない
fact4 -> int1: 悩ましいということが起こる; int1 & fact6 -> int2: 悩ましいということおよび回送すること両方が発生する; int2 & fact7 -> hypothesis;
fact4 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis;
確認し易いということは起こらない
$facts$ = fact1: 「悩ましいということは起きない」ということは「確認し易いということは起きないし更に運転することは起きない」ということを招く fact2: 把握し難いということは「ぷちゃぷにゅLv.7事件は起きないし重いということは起こらない」ということを招く fact3: ぷやぷゆLv.84事件が生じる fact4: 運転することが起きるしまた悩ましいということが発生する fact5: 手際良いということが発生する fact6: 回送することが発生する fact7: もにょもにLv.47事件は「悩ましいということが生じるしさらに回送することが起きる」ということに阻まれる fact8: もし「重いということは起きない」ということは成り立つなら「回送することおよび悩ましいということどちらもが起きる」ということは成り立たない ; $hypothesis$ = もにょもにLv.47事件は起きない ; $proof$ = 
fact4 -> int1: 悩ましいということが起こる; int1 & fact6 -> int2: 悩ましいということおよび回送すること両方が発生する; int2 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis; __PROVED__