割れ易いということが発生する
fact1: 剥がれ易いということが起きるけどぽやぽなLv.45事件は起きない fact2: もしぽやぽなLv.45事件は発生しないならば剥がれ易いということとまくまちゅLv.67事件どちらもが発生する fact3: もし仮に剥がれ易いということは発生するか白熱することは起きれば割れ易いということは発生しない
fact1 -> int1: 剥がれ易いということが発生する; int1 -> int2: 剥がれ易いということが起きるか白熱することが起こる; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact3 -> hypothesis;
まくまちゅLv.67事件が生じるかまちょまにLv.33事件が発生する
$facts$ = fact1: 剥がれ易いということが起きるけどぽやぽなLv.45事件は起きない fact2: もしぽやぽなLv.45事件は発生しないならば剥がれ易いということとまくまちゅLv.67事件どちらもが発生する fact3: もし仮に剥がれ易いということは発生するか白熱することは起きれば割れ易いということは発生しない ; $hypothesis$ = 割れ易いということが発生する ; $proof$ = 
fact1 -> int1: 剥がれ易いということが発生する; int1 -> int2: 剥がれ易いということが起きるか白熱することが起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact3 -> hypothesis; __DISPROVED__