青黒いということが生じる
fact1: もしぽちょぽのLv.94事件が発生しないなら青黒いということと赤しということは発生する fact2: 赤しということが起きるし加えてぽちょぽのLv.94事件が起きる fact3: 青黒いということはもにゅもにゃLv.52事件に防がれる fact4: ぽちょぽのLv.94事件が起こる fact5: ぴにぴにゅLv.60事件が起こるかもしくはぴにぴにゅLv.98事件が発生するかもしくは両方だ
fact2 -> int1: 赤しということが生じる; int1 -> int2: 赤しということが生じるかあるいはもにゅもにゃLv.52事件が生じるかあるいはどちらもだ;
fact2 -> int1: {A}; int1 -> int2: ({A} v {C});
青黒いということが生じる
$facts$ = fact1: もしぽちょぽのLv.94事件が発生しないなら青黒いということと赤しということは発生する fact2: 赤しということが起きるし加えてぽちょぽのLv.94事件が起きる fact3: 青黒いということはもにゅもにゃLv.52事件に防がれる fact4: ぽちょぽのLv.94事件が起こる fact5: ぴにぴにゅLv.60事件が起こるかもしくはぴにぴにゅLv.98事件が発生するかもしくは両方だ ; $hypothesis$ = 青黒いということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__