みねみえLv.8事件が発生する
fact1: 確からしいということおよびまやまちゃLv.39事件が生じるはみねみえLv.8事件は発生しないということを引き起こす fact2: 空恐ろしいということが起きるしかつ確からしいということが起きる fact3: まやまちゃLv.39事件が起こる
fact2 -> int1: 「確からしいということが生じる」ということは確かだ; int1 & fact3 -> int2: 確からしいということとまやまちゃLv.39事件が発生する; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 確からしいということおよびまやまちゃLv.39事件が生じるはみねみえLv.8事件は発生しないということを引き起こす fact2: 空恐ろしいということが起きるしかつ確からしいということが起きる fact3: まやまちゃLv.39事件が起こる ; $hypothesis$ = みねみえLv.8事件が発生する ; $proof$ = 
fact2 -> int1: 「確からしいということが生じる」ということは確かだ; int1 & fact3 -> int2: 確からしいということとまやまちゃLv.39事件が発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__