焼きすることは起きない
fact1: 焼きすることが起きないということは小さいということが生じるということかみよみにゅLv.88事件かもしくは両方ともは契機である fact2: もしも「みよみにゅLv.88事件は発生しない」ということは成り立つなら焼きすることおよびぴえぴくLv.5事件両方ともが起こる fact3: ぴえぴくLv.5事件とみよみにゅLv.88事件が発生する
fact3 -> int1: みよみにゅLv.88事件が起きる; int1 -> int2: 小さいということが起きるかみよみにゅLv.88事件が起きる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis;
焼きすることが起きる
$facts$ = fact1: 焼きすることが起きないということは小さいということが生じるということかみよみにゅLv.88事件かもしくは両方ともは契機である fact2: もしも「みよみにゅLv.88事件は発生しない」ということは成り立つなら焼きすることおよびぴえぴくLv.5事件両方ともが起こる fact3: ぴえぴくLv.5事件とみよみにゅLv.88事件が発生する ; $hypothesis$ = 焼きすることは起きない ; $proof$ = 
fact3 -> int1: みよみにゅLv.88事件が起きる; int1 -> int2: 小さいということが起きるかみよみにゅLv.88事件が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis; __PROVED__