辿り着くことが発生するしまちゅまゆLv.62事件が起きる
fact1: 辿り着くことは起こらないということは輸送することに防がれる fact2: ぷわぷゆLv.25事件が生じる fact3: ぷわぷゆLv.25事件はぷちゅぷにLv.46事件を引き起こす fact4: まちゅまゆLv.62事件が発生する fact5: 根気強いということが起きる fact6: もしもまちゅまゆLv.62事件は起こらないなら「ぷわぷゆLv.25事件ではなく輸送することが起きる」ということは間違いだ fact7: 「輸送することは起きない」ということは「ぷちゅぷにLv.46事件が起こる」ということに防がれる
fact3 & fact2 -> int1: 「ぷちゅぷにLv.46事件が起こる」ということは成り立つ; fact7 & int1 -> int2: 輸送することが生じる; int2 & fact1 -> int3: 「辿り着くことが発生する」ということは間違っていない; int3 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {A}; fact7 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact4 -> hypothesis;
信じ難いということおよび覚え難いということ両方が起きる
$facts$ = fact1: 辿り着くことは起こらないということは輸送することに防がれる fact2: ぷわぷゆLv.25事件が生じる fact3: ぷわぷゆLv.25事件はぷちゅぷにLv.46事件を引き起こす fact4: まちゅまゆLv.62事件が発生する fact5: 根気強いということが起きる fact6: もしもまちゅまゆLv.62事件は起こらないなら「ぷわぷゆLv.25事件ではなく輸送することが起きる」ということは間違いだ fact7: 「輸送することは起きない」ということは「ぷちゅぷにLv.46事件が起こる」ということに防がれる ; $hypothesis$ = 辿り着くことが発生するしまちゅまゆLv.62事件が起きる ; $proof$ = 
fact3 & fact2 -> int1: 「ぷちゅぷにLv.46事件が起こる」ということは成り立つ; fact7 & int1 -> int2: 輸送することが生じる; int2 & fact1 -> int3: 「辿り着くことが発生する」ということは間違っていない; int3 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {A}; fact7 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact4 -> hypothesis; __PROVED__