あの風景画は連帯保証しない
fact1: あの風景画は任意継続である fact2: もしもあの風景画は任意継続であるならそれは連帯保証する
$facts$ = fact1: あの風景画は任意継続である fact2: もしもあの風景画は任意継続であるならそれは連帯保証する ; $hypothesis$ = あの風景画は連帯保証しない ; $proof$ = 
事実1: あの風景画は任意継続である
事実2: もしもあの風景画は任意継続であるならそれは連帯保証する

仮説: あの風景画は連帯保証しない