「ぴくぴちょLv.1事件は起こらない」ということは事実だ
fact1: 「乱入することが生じない一方で転勤することは発生する」ということは賢しということは生じないということが契機である fact2: ぴいぴわLv.99事件が生じる fact3: 訝しいということが起きるとすると「まのまえLv.81事件が生じるしぴいぴわLv.99事件は発生しない」ということは間違いだ fact4: 「訝しいということが起きるしもねもにゃLv.4事件が起きる」ということは乱入することは起きないということに由来する fact5: 意地悪いということは生じないということは買わすことに阻止される fact6: 「意地悪いということとぴいぴわLv.99事件が発生する」ということはぴくぴちょLv.1事件が生じるということを防ぐ fact7: みなみにLv.82事件およびもちゅもにLv.74事件両方ともが発生するとすればすげないということは起こらない fact8: 買わすことが生じる
fact5 & fact8 -> int1: 意地悪いということが起きる; int1 & fact2 -> int2: 意地悪いということおよびぴいぴわLv.99事件どちらもが起きる; int2 & fact6 -> hypothesis;
fact5 & fact8 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
「ぴくぴちょLv.1事件が発生する」ということは成り立つ
$facts$ = fact1: 「乱入することが生じない一方で転勤することは発生する」ということは賢しということは生じないということが契機である fact2: ぴいぴわLv.99事件が生じる fact3: 訝しいということが起きるとすると「まのまえLv.81事件が生じるしぴいぴわLv.99事件は発生しない」ということは間違いだ fact4: 「訝しいということが起きるしもねもにゃLv.4事件が起きる」ということは乱入することは起きないということに由来する fact5: 意地悪いということは生じないということは買わすことに阻止される fact6: 「意地悪いということとぴいぴわLv.99事件が発生する」ということはぴくぴちょLv.1事件が生じるということを防ぐ fact7: みなみにLv.82事件およびもちゅもにLv.74事件両方ともが発生するとすればすげないということは起こらない fact8: 買わすことが生じる ; $hypothesis$ = 「ぴくぴちょLv.1事件は起こらない」ということは事実だ ; $proof$ = 
fact5 & fact8 -> int1: 意地悪いということが起きる; int1 & fact2 -> int2: 意地悪いということおよびぴいぴわLv.99事件どちらもが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact8 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __PROVED__