ぽにゃぽちゅLv.11事件が起こる
fact1: まちょまいLv.18事件はぽにゃぽちゅLv.11事件を招く fact2: まちょまいLv.18事件およびぴゆぴちゅLv.57事件両方が生じる fact3: 「ぴゆぴちゅLv.57事件は生じない」ということは「まちょまいLv.18事件が起きるしぽにゃぽちゅLv.11事件は起きない」ということのきっかけとなる fact4: もちゃもわLv.22事件が発生する
fact2 -> int1: まちょまいLv.18事件が発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
ぽにゃぽちゅLv.11事件は起きない
$facts$ = fact1: まちょまいLv.18事件はぽにゃぽちゅLv.11事件を招く fact2: まちょまいLv.18事件およびぴゆぴちゅLv.57事件両方が生じる fact3: 「ぴゆぴちゅLv.57事件は生じない」ということは「まちょまいLv.18事件が起きるしぽにゃぽちゅLv.11事件は起きない」ということのきっかけとなる fact4: もちゃもわLv.22事件が発生する ; $hypothesis$ = ぽにゃぽちゅLv.11事件が起こる ; $proof$ = 
fact2 -> int1: まちょまいLv.18事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__