この為替手形は管理棟内でない
fact1: この為替手形は素地である fact2: もしもこの為替手形が素地だとすれば管理棟内である
$facts$ = fact1: この為替手形は素地である fact2: もしもこの為替手形が素地だとすれば管理棟内である ; $hypothesis$ = この為替手形は管理棟内でない ; $proof$ = 
事実1: この為替手形は素地である
事実2: もしもこの為替手形が素地だとすれば管理棟内である

仮説: この為替手形は管理棟内でない