もいもにゅLv.82事件が起きる
fact1: 確信出来ることが発生する fact2: 「もいもにゅLv.82事件は生じない」ということはぴねぴちゅLv.66事件かあるいはまやまちょLv.82事件かあるいは両方ともに由来する fact3: 青臭いということが生じるしぴねぴちゅLv.66事件が発生する fact4: 青臭いということが発生する fact5: 「まやまちょLv.82事件が生じる」ということは「もいもにゅLv.82事件は起きない」ということを生じさせる
fact3 -> int1: ぴねぴちゅLv.66事件が生じる; int1 -> int2: ぴねぴちゅLv.66事件かまたはまやまちょLv.82事件かもしくは両方ともが起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 確信出来ることが発生する fact2: 「もいもにゅLv.82事件は生じない」ということはぴねぴちゅLv.66事件かあるいはまやまちょLv.82事件かあるいは両方ともに由来する fact3: 青臭いということが生じるしぴねぴちゅLv.66事件が発生する fact4: 青臭いということが発生する fact5: 「まやまちょLv.82事件が生じる」ということは「もいもにゅLv.82事件は起きない」ということを生じさせる ; $hypothesis$ = もいもにゅLv.82事件が起きる ; $proof$ = 
fact3 -> int1: ぴねぴちゅLv.66事件が生じる; int1 -> int2: ぴねぴちゅLv.66事件かまたはまやまちょLv.82事件かもしくは両方ともが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __DISPROVED__