ＯＢ臭いということおよびぷなぷちゃLv.37事件が生じる
fact1: ぷなぷちゃLv.37事件が発生する fact2: ＯＢ臭いということが起こる
fact2 -> int1: ＯＢ臭いということが起こる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: ぷなぷちゃLv.37事件が発生する fact2: ＯＢ臭いということが起こる ; $hypothesis$ = ＯＢ臭いということおよびぷなぷちゃLv.37事件が生じる ; $proof$ = 
fact2 -> int1: ＯＢ臭いということが起こる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__