ぷちゅぷにょLv.28事件は生じない
fact1: もし仮にまよまゆLv.3事件は起こらないとするとぷちゅぷにょLv.28事件が起きるしかつ狭いということが起きる fact2: 「狭いということが発生する」ということは成り立つ fact3: まよまゆLv.3事件が起きる fact4: 狭いということおよびまよまゆLv.3事件が発生するはぷちゅぷにょLv.28事件は生じないということを招く
fact2 & fact3 -> int1: 狭いということとまよまゆLv.3事件が生じる; int1 & fact4 -> hypothesis;
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> hypothesis;
ぷちゅぷにょLv.28事件が発生する
$facts$ = fact1: もし仮にまよまゆLv.3事件は起こらないとするとぷちゅぷにょLv.28事件が起きるしかつ狭いということが起きる fact2: 「狭いということが発生する」ということは成り立つ fact3: まよまゆLv.3事件が起きる fact4: 狭いということおよびまよまゆLv.3事件が発生するはぷちゅぷにょLv.28事件は生じないということを招く ; $hypothesis$ = ぷちゅぷにょLv.28事件は生じない ; $proof$ = 
fact2 & fact3 -> int1: 狭いということとまよまゆLv.3事件が生じる; int1 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> hypothesis; __PROVED__