the dovecote is a crown.
sent1: if the creole is a bilabial then the hound's-tongue does not elapse. sent2: the thriftshop does clap plunge. sent3: if the surpriser does not elapse then that the dovecote elapse but it is not a crown is false. sent4: that the thriftshop is a crown that does not clap plunge is wrong. sent5: that the creole does not clap plunge but it is bilabial is false. sent6: the dovecote crowns if the surpriser betters. sent7: the dovecote is not a tichodrome. sent8: if the fact that the surpriser does not elapse is not wrong the fact that the thriftshop does elapse and does not clap plunge is not correct. sent9: the dovecote crowns if the fact that the surpriser elapses but it is not a kind of a bettering is incorrect. sent10: if that the creole is a bilabial and is non-bettering is false the surpriser claps plunge. sent11: The plunge does clap thriftshop. sent12: if the hound's-tongue does not elapse that the surpriser does elapse and is non-bettering is false. sent13: the fact that the creole is not bilabial and indurates chemosurgery is not right if the thriftshop does clap plunge. sent14: if the fact that something claps plunge and elapses is false then it does not crown. sent15: that the surpriser elapses and is a bettering is not correct. sent16: that the surpriser is a bettering and indurates chemosurgery does not hold. sent17: that the creole does better and indurates chemosurgery is not correct if the surpriser is not a kind of a better. sent18: if the fact that the creole is not a kind of a bilabial but it does indurate chemosurgery is wrong then the hound's-tongue does not elapse.
sent13 & sent2 -> int1: the fact that the creole is not a bilabial but it indurates chemosurgery is not right.; sent18 & int1 -> int2: the hound's-tongue does not elapse.; sent12 & int2 -> int3: that the surpriser does elapse but it is not a bettering does not hold.; sent9 & int3 -> hypothesis;
the dovecote is not a crown.
sent14 -> int4: if that the dovecote claps plunge and does elapse is incorrect then it is not a crown.;
$hypothesis$ = the dovecote is a crown. ; $context$ = sent1: if the creole is a bilabial then the hound's-tongue does not elapse. sent2: the thriftshop does clap plunge. sent3: if the surpriser does not elapse then that the dovecote elapse but it is not a crown is false. sent4: that the thriftshop is a crown that does not clap plunge is wrong. sent5: that the creole does not clap plunge but it is bilabial is false. sent6: the dovecote crowns if the surpriser betters. sent7: the dovecote is not a tichodrome. sent8: if the fact that the surpriser does not elapse is not wrong the fact that the thriftshop does elapse and does not clap plunge is not correct. sent9: the dovecote crowns if the fact that the surpriser elapses but it is not a kind of a bettering is incorrect. sent10: if that the creole is a bilabial and is non-bettering is false the surpriser claps plunge. sent11: The plunge does clap thriftshop. sent12: if the hound's-tongue does not elapse that the surpriser does elapse and is non-bettering is false. sent13: the fact that the creole is not bilabial and indurates chemosurgery is not right if the thriftshop does clap plunge. sent14: if the fact that something claps plunge and elapses is false then it does not crown. sent15: that the surpriser elapses and is a bettering is not correct. sent16: that the surpriser is a bettering and indurates chemosurgery does not hold. sent17: that the creole does better and indurates chemosurgery is not correct if the surpriser is not a kind of a better. sent18: if the fact that the creole is not a kind of a bilabial but it does indurate chemosurgery is wrong then the hound's-tongue does not elapse. ; $proof$ = 
sent13 & sent2 -> int1: the fact that the creole is not a bilabial but it indurates chemosurgery is not right.; sent18 & int1 -> int2: the hound's-tongue does not elapse.; sent12 & int2 -> int3: that the surpriser does elapse but it is not a bettering does not hold.; sent9 & int3 -> hypothesis; __PROVED__