もちょもにゃLv.66事件が発生する
fact1: もし着慣れることは発生しないとすれば「「もゆもくLv.77事件は起きなくて加えて利用し難いということは起こらない」ということは真実だ」ということは誤っている fact2: もちょもにゃLv.66事件はもゆもくLv.77事件および着慣れることが生じるに阻まれる fact3: もしもゆもくLv.77事件は生じないとすれば叩けることと利用し難いということ両方が生じる fact4: もし仮に「「もゆもくLv.77事件は生じなくて利用し難いということは生じない」ということは間違いだ」ということは事実であるなら利用し難いということが発生する fact5: 利用し難いということおよびもゆもくLv.77事件が起こる fact6: ぷゆぷにょLv.73事件が起きる fact7: 着慣れることが生じる
fact5 -> int1: もゆもくLv.77事件が起きる; int1 & fact7 -> int2: もゆもくLv.77事件と着慣れることが発生する; int2 & fact2 -> hypothesis;
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
もちょもにゃLv.66事件が発生する
$facts$ = fact1: もし着慣れることは発生しないとすれば「「もゆもくLv.77事件は起きなくて加えて利用し難いということは起こらない」ということは真実だ」ということは誤っている fact2: もちょもにゃLv.66事件はもゆもくLv.77事件および着慣れることが生じるに阻まれる fact3: もしもゆもくLv.77事件は生じないとすれば叩けることと利用し難いということ両方が生じる fact4: もし仮に「「もゆもくLv.77事件は生じなくて利用し難いということは生じない」ということは間違いだ」ということは事実であるなら利用し難いということが発生する fact5: 利用し難いということおよびもゆもくLv.77事件が起こる fact6: ぷゆぷにょLv.73事件が起きる fact7: 着慣れることが生じる ; $hypothesis$ = もちょもにゃLv.66事件が発生する ; $proof$ = 
fact5 -> int1: もゆもくLv.77事件が起きる; int1 & fact7 -> int2: もゆもくLv.77事件と着慣れることが発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__