壊れ難いということが発生する
fact1: まよまのLv.51事件は起こらないとするとけたたましいということは生じなくて果てし無いということが起きる fact2: もしけたたましいということが起きるかもしくは小汚いということが起きるとすると壊れ難いということは生じない fact3: 構え易いということおよび小汚いということが発生する
fact3 -> int1: 小汚いということが発生する; int1 -> int2: けたたましいということが起こるかまたは小汚いということが起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact2 -> hypothesis;
壊れ難いということが発生する
$facts$ = fact1: まよまのLv.51事件は起こらないとするとけたたましいということは生じなくて果てし無いということが起きる fact2: もしけたたましいということが起きるかもしくは小汚いということが起きるとすると壊れ難いということは生じない fact3: 構え易いということおよび小汚いということが発生する ; $hypothesis$ = 壊れ難いということが発生する ; $proof$ = 
fact3 -> int1: 小汚いということが発生する; int1 -> int2: けたたましいということが起こるかまたは小汚いということが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact2 -> hypothesis; __DISPROVED__