the magician is sustentacular thing that is not a lease.
sent1: that something is sustentacular but it is not a lease does not hold if it is not micrometeoritic. sent2: if something that is not a cupbearer is a atmometer it is not a kind of a lease. sent3: the elecampane is not a ivied. sent4: the enchantress is not a cupbearer if the vaulting is a four-wheeler. sent5: the vaulting is a atmometer. sent6: the elecampane snookers dribbler. sent7: the magician is not micrometeoritic if something that is not a cupbearer is a four-wheeler. sent8: if the vaulting is a four-wheeler the enchantress is not a cupbearer and is a kind of a four-wheeler. sent9: if something does not snooker dribbler but it is a four-wheeler it is sustentacular. sent10: something is micrometeoritic if it is odorless. sent11: if something is not a kind of a ivied it is odorless. sent12: there is something such that it is not a cupbearer and/or it does not strengthen librarian. sent13: The dribbler snookers elecampane. sent14: that the magician does not snooker dribbler but it is a four-wheeler is true if the elecampane is micrometeoritic. sent15: there exists something such that it does consternate levity and is a smell. sent16: if the poet is a handcart then it is not a tropics. sent17: if the elecampane snookers dribbler it is not a four-wheeler. sent18: the enchantress is not a kind of a cupbearer. sent19: the vaulting is a atmometer and is a four-wheeler if the elecampane is not a kind of a four-wheeler.
sent17 & sent6 -> int1: the elecampane is not a four-wheeler.; int1 & sent19 -> int2: the vaulting is a kind of a atmometer and is a four-wheeler.; int2 -> int3: that the vaulting is a four-wheeler is not wrong.; int3 & sent8 -> int4: the enchantress is not a cupbearer but it is a four-wheeler.; int4 -> int5: there is something such that it is both not a cupbearer and a four-wheeler.; int5 & sent7 -> int6: the magician is not micrometeoritic.; sent1 -> int7: that the magician is sustentacular and not a lease does not hold if it is not micrometeoritic.; int6 & int7 -> hypothesis;
the magician is a kind of sustentacular thing that is not a lease.
sent9 -> int8: the magician is not non-sustentacular if it does not snooker dribbler and is a four-wheeler.; sent10 -> int9: the elecampane is micrometeoritic if it is odorless.; sent11 -> int10: the elecampane is odorless if it is not a ivied.; int10 & sent3 -> int11: the elecampane is odorless.; int9 & int11 -> int12: the elecampane is micrometeoritic.; sent14 & int12 -> int13: the magician does not snooker dribbler and is a four-wheeler.; int8 & int13 -> int14: the magician is sustentacular.; sent2 -> int15: the magician is not a lease if it is not a cupbearer and it is a atmometer.;
$hypothesis$ = the magician is sustentacular thing that is not a lease. ; $context$ = sent1: that something is sustentacular but it is not a lease does not hold if it is not micrometeoritic. sent2: if something that is not a cupbearer is a atmometer it is not a kind of a lease. sent3: the elecampane is not a ivied. sent4: the enchantress is not a cupbearer if the vaulting is a four-wheeler. sent5: the vaulting is a atmometer. sent6: the elecampane snookers dribbler. sent7: the magician is not micrometeoritic if something that is not a cupbearer is a four-wheeler. sent8: if the vaulting is a four-wheeler the enchantress is not a cupbearer and is a kind of a four-wheeler. sent9: if something does not snooker dribbler but it is a four-wheeler it is sustentacular. sent10: something is micrometeoritic if it is odorless. sent11: if something is not a kind of a ivied it is odorless. sent12: there is something such that it is not a cupbearer and/or it does not strengthen librarian. sent13: The dribbler snookers elecampane. sent14: that the magician does not snooker dribbler but it is a four-wheeler is true if the elecampane is micrometeoritic. sent15: there exists something such that it does consternate levity and is a smell. sent16: if the poet is a handcart then it is not a tropics. sent17: if the elecampane snookers dribbler it is not a four-wheeler. sent18: the enchantress is not a kind of a cupbearer. sent19: the vaulting is a atmometer and is a four-wheeler if the elecampane is not a kind of a four-wheeler. ; $proof$ = 
sent17 & sent6 -> int1: the elecampane is not a four-wheeler.; int1 & sent19 -> int2: the vaulting is a kind of a atmometer and is a four-wheeler.; int2 -> int3: that the vaulting is a four-wheeler is not wrong.; int3 & sent8 -> int4: the enchantress is not a cupbearer but it is a four-wheeler.; int4 -> int5: there is something such that it is both not a cupbearer and a four-wheeler.; int5 & sent7 -> int6: the magician is not micrometeoritic.; sent1 -> int7: that the magician is sustentacular and not a lease does not hold if it is not micrometeoritic.; int6 & int7 -> hypothesis; __DISPROVED__