まちゅまねLv.26事件は生じない
fact1: 「奥深いということが生じるしおまけにぷやぷよLv.60事件が起こる」ということはまちゅまねLv.26事件は発生しないということを生じさせる fact2: みにみなLv.42事件が起きるし加えて奥深いということが起きる
fact2 -> int1: 奥深いということが起こる;
fact2 -> int1: {B};
$facts$ = fact1: 「奥深いということが生じるしおまけにぷやぷよLv.60事件が起こる」ということはまちゅまねLv.26事件は発生しないということを生じさせる fact2: みにみなLv.42事件が起きるし加えて奥深いということが起きる ; $hypothesis$ = まちゅまねLv.26事件は生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__