辛気臭いということは起こらない
fact1: もし決行することとみねみわLv.5事件両方が起きるとしたら辛気臭いということは起きない fact2: みねみわLv.5事件が起きる fact3: 決行することが起こる
fact3 & fact2 -> int1: 決行することが発生するしその上みねみわLv.5事件が生じる; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: もし決行することとみねみわLv.5事件両方が起きるとしたら辛気臭いということは起きない fact2: みねみわLv.5事件が起きる fact3: 決行することが起こる ; $hypothesis$ = 辛気臭いということは起こらない ; $proof$ = 
fact3 & fact2 -> int1: 決行することが発生するしその上みねみわLv.5事件が生じる; int1 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __PROVED__