やばいということが発生するしかつＯＢ臭いということは発生する
fact1: やばいということが起きる fact2: ＯＢ臭いということが起こる fact3: 仮に喜ばしいということは起こらないならば「やばいということが生じるしさらにＯＢ臭いということが起こる」ということは成り立たない
fact1 -> int1: やばいということが起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
「やばいということおよびＯＢ臭いということどちらもが起こる」ということは間違っている
$facts$ = fact1: やばいということが起きる fact2: ＯＢ臭いということが起こる fact3: 仮に喜ばしいということは起こらないならば「やばいということが生じるしさらにＯＢ臭いということが起こる」ということは成り立たない ; $hypothesis$ = やばいということが発生するしかつＯＢ臭いということは発生する ; $proof$ = 
fact1 -> int1: やばいということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__