the rauwolfia is libidinal.
sent1: the botanist does not parget. sent2: if something basks ditto then it is libidinal. sent3: if the horse is non-geophysical then it is a kind of an emmer. sent4: if the rauwolfia does bask ditto it is libidinal. sent5: that the rauwolfia is a kind of a geyser that does not bask ditto is not right if the schrod is a geyser. sent6: the horse is not a power if something that basks ditto is a geyser. sent7: the rauwolfia is pyrotechnics. sent8: the botanist does impair ruggedization and it does geyser if it does not parget. sent9: that the rauwolfia does geyser and basks ditto is incorrect if the schrod does geyser. sent10: if the fact that the horse is not pyrotechnics but geophysical is false then it is an emmer. sent11: that the horse is a kind of non-pyrotechnics thing that is geophysical is false. sent12: something is libidinal if the fact that it geysers and it does not bask ditto is incorrect. sent13: if the horse is stimulative the botanist is a power. sent14: if there exists something such that that it deplores schrod and it is a Saladin does not hold the botanist basks ditto. sent15: if there is something such that it is a power the schrod is a kind of a geyser. sent16: there is something such that that it deplores schrod and it is a Saladin does not hold. sent17: if something is an emmer it is stimulative.
sent10 & sent11 -> int1: the horse is an emmer.; sent17 -> int2: the horse is stimulative if it is a kind of an emmer.; int1 & int2 -> int3: the horse is stimulative.; int3 & sent13 -> int4: the botanist does power.; int4 -> int5: something is a power.; int5 & sent15 -> int6: the schrod geysers.; int6 & sent5 -> int7: the fact that the rauwolfia is a geyser but it does not bask ditto is not right.; sent12 -> int8: if that the rauwolfia geysers and does not bask ditto is false then it is libidinal.; int7 & int8 -> hypothesis;
the rauwolfia is not libidinal.
sent16 & sent14 -> int9: the botanist does bask ditto.; sent8 & sent1 -> int10: the botanist impairs ruggedization and it is a geyser.; int10 -> int11: the botanist geysers.; int9 & int11 -> int12: the botanist does bask ditto and it does geyser.; int12 -> int13: there is something such that it basks ditto and it is a geyser.; int13 & sent6 -> int14: the fact that the horse does not power is true.;
$hypothesis$ = the rauwolfia is libidinal. ; $context$ = sent1: the botanist does not parget. sent2: if something basks ditto then it is libidinal. sent3: if the horse is non-geophysical then it is a kind of an emmer. sent4: if the rauwolfia does bask ditto it is libidinal. sent5: that the rauwolfia is a kind of a geyser that does not bask ditto is not right if the schrod is a geyser. sent6: the horse is not a power if something that basks ditto is a geyser. sent7: the rauwolfia is pyrotechnics. sent8: the botanist does impair ruggedization and it does geyser if it does not parget. sent9: that the rauwolfia does geyser and basks ditto is incorrect if the schrod does geyser. sent10: if the fact that the horse is not pyrotechnics but geophysical is false then it is an emmer. sent11: that the horse is a kind of non-pyrotechnics thing that is geophysical is false. sent12: something is libidinal if the fact that it geysers and it does not bask ditto is incorrect. sent13: if the horse is stimulative the botanist is a power. sent14: if there exists something such that that it deplores schrod and it is a Saladin does not hold the botanist basks ditto. sent15: if there is something such that it is a power the schrod is a kind of a geyser. sent16: there is something such that that it deplores schrod and it is a Saladin does not hold. sent17: if something is an emmer it is stimulative. ; $proof$ = 
sent10 & sent11 -> int1: the horse is an emmer.; sent17 -> int2: the horse is stimulative if it is a kind of an emmer.; int1 & int2 -> int3: the horse is stimulative.; int3 & sent13 -> int4: the botanist does power.; int4 -> int5: something is a power.; int5 & sent15 -> int6: the schrod geysers.; int6 & sent5 -> int7: the fact that the rauwolfia is a geyser but it does not bask ditto is not right.; sent12 -> int8: if that the rauwolfia geysers and does not bask ditto is false then it is libidinal.; int7 & int8 -> hypothesis; __PROVED__