徒らっぽいということは起きない
fact1: もゆもゆLv.8事件が発生する fact2: ぴにゃぴちょLv.34事件および乗り始めることが起こる fact3: ぴにゃぴちょLv.34事件が扱き混ぜることは起きないということを阻む fact4: 徒らっぽいということは扱き混ぜることが原因である fact5: 乗り始めることが起こる
fact2 -> int1: ぴにゃぴちょLv.34事件が生じる; int1 & fact3 -> int2: 扱き混ぜることが発生する; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もゆもゆLv.8事件が発生する fact2: ぴにゃぴちょLv.34事件および乗り始めることが起こる fact3: ぴにゃぴちょLv.34事件が扱き混ぜることは起きないということを阻む fact4: 徒らっぽいということは扱き混ぜることが原因である fact5: 乗り始めることが起こる ; $hypothesis$ = 徒らっぽいということは起きない ; $proof$ = 
fact2 -> int1: ぴにゃぴちょLv.34事件が生じる; int1 & fact3 -> int2: 扱き混ぜることが発生する; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact4 -> hypothesis; __DISPROVED__