the fig is not a biennial and it is not a DD.
sent1: that the slippage is morbilliform is correct. sent2: if the stateroom is not a kind of a Lot then the slippage is a kind of a Gascogne that is a bantering. sent3: there exists something such that the fact that it is a Lot and it is not a applique does not hold. sent4: the stateroom boots and it is a kind of a bantering. sent5: that something is not morbilliform and is not a kind of a boot is not correct if it is a Gascogne. sent6: if the staggerbush is not a DD then the fig is not a biennial and it is not a DD. sent7: if the slippage is morbilliform then the stateroom is a Gascogne. sent8: if something is morbilliform then the fact that it is not biennial and it is not a DD is not correct. sent9: if the stateroom is a Gascogne and it is a boot the staggerbush is not a DD.
sent7 & sent1 -> int1: the fact that the stateroom is a Gascogne is correct.; sent4 -> int2: the fact that the stateroom is a kind of a boot hold.; int1 & int2 -> int3: the stateroom is a kind of a Gascogne that is a boot.; int3 & sent9 -> int4: the staggerbush is not a DD.; int4 & sent6 -> hypothesis;
the fact that the fig is not a kind of a biennial and it is not a kind of a DD is false.
sent8 -> int5: the fact that the fig is not biennial and it is not a DD is not right if it is not non-morbilliform.; sent5 -> int6: that if the slippage is the Gascogne then that the slippage is not morbilliform and does not boot is not right hold.;
$hypothesis$ = the fig is not a biennial and it is not a DD. ; $context$ = sent1: that the slippage is morbilliform is correct. sent2: if the stateroom is not a kind of a Lot then the slippage is a kind of a Gascogne that is a bantering. sent3: there exists something such that the fact that it is a Lot and it is not a applique does not hold. sent4: the stateroom boots and it is a kind of a bantering. sent5: that something is not morbilliform and is not a kind of a boot is not correct if it is a Gascogne. sent6: if the staggerbush is not a DD then the fig is not a biennial and it is not a DD. sent7: if the slippage is morbilliform then the stateroom is a Gascogne. sent8: if something is morbilliform then the fact that it is not biennial and it is not a DD is not correct. sent9: if the stateroom is a Gascogne and it is a boot the staggerbush is not a DD. ; $proof$ = 
sent7 & sent1 -> int1: the fact that the stateroom is a Gascogne is correct.; sent4 -> int2: the fact that the stateroom is a kind of a boot hold.; int1 & int2 -> int3: the stateroom is a kind of a Gascogne that is a boot.; int3 & sent9 -> int4: the staggerbush is not a DD.; int4 & sent6 -> hypothesis; __PROVED__