ぴえぴにょLv.22事件は発生しない
fact1: もし仮に「まにゃまにゅLv.1事件は起きない」ということは成り立てば脂っぽいということかあるいはもやもにょLv.76事件かもしくはどちらもが生じる fact2: 脂っぽいということおよびまにゃまにゅLv.1事件が発生するはぴえぴにょLv.22事件が起こるということを阻止する fact3: 脂っぽいということが起こるしもやもにょLv.76事件が発生する fact4: まにゃまにゅLv.1事件が起こる
fact3 -> int1: 脂っぽいということが起きる; int1 & fact4 -> int2: 脂っぽいということが生じるし加えてまにゃまにゅLv.1事件が起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
ぴえぴにょLv.22事件が生じる
$facts$ = fact1: もし仮に「まにゃまにゅLv.1事件は起きない」ということは成り立てば脂っぽいということかあるいはもやもにょLv.76事件かもしくはどちらもが生じる fact2: 脂っぽいということおよびまにゃまにゅLv.1事件が発生するはぴえぴにょLv.22事件が起こるということを阻止する fact3: 脂っぽいということが起こるしもやもにょLv.76事件が発生する fact4: まにゃまにゅLv.1事件が起こる ; $hypothesis$ = ぴえぴにょLv.22事件は発生しない ; $proof$ = 
fact3 -> int1: 脂っぽいということが起きる; int1 & fact4 -> int2: 脂っぽいということが生じるし加えてまにゃまにゅLv.1事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __PROVED__