the alendronate is a kind of a laminectomy.
sent1: something is a Guinean if it does not chance Saale. sent2: the fact that the cosmetician is Erasmian and it is a asininity does not hold. sent3: the alendronate is a kind of a squatter. sent4: the alendronate is a Gastrocybe. sent5: if that the alendronate is a reappraisal and it is a Marseille is wrong the fact that it does not evaporate hold. sent6: that the raja is not a curry is right. sent7: the alendronate does not singe. sent8: the porkchop is a kind of a laminectomy and does not evaporate if that there is something such that it is not a curry is right. sent9: if something does not evaporate then it is a laminectomy. sent10: something that does not evaporate is a reappraisal. sent11: the alendronate is not a sulky. sent12: the blackheart does not evaporate. sent13: the alendronate does not evaporate if it is not a Marseille. sent14: that the alendronate is a reappraisal and a Marseille is false. sent15: something is not a kind of a laminectomy if it evaporates. sent16: if something is not dishonorable then it is a beggar.
sent5 & sent14 -> int1: the alendronate does not evaporate.; sent9 -> int2: the alendronate is a laminectomy if the fact that it does not evaporate is not false.; int1 & int2 -> hypothesis;
the fact that the accentor is a Marseille and is a kind of a beggar does not hold.
sent6 -> int3: there exists something such that that it is not a curry is true.; int3 & sent8 -> int4: the porkchop is a kind of a laminectomy but it does not evaporate.; int4 -> int5: the fact that the porkchop is a laminectomy is not wrong.; int5 -> int6: there is something such that it is a kind of a laminectomy.;
$hypothesis$ = the alendronate is a kind of a laminectomy. ; $context$ = sent1: something is a Guinean if it does not chance Saale. sent2: the fact that the cosmetician is Erasmian and it is a asininity does not hold. sent3: the alendronate is a kind of a squatter. sent4: the alendronate is a Gastrocybe. sent5: if that the alendronate is a reappraisal and it is a Marseille is wrong the fact that it does not evaporate hold. sent6: that the raja is not a curry is right. sent7: the alendronate does not singe. sent8: the porkchop is a kind of a laminectomy and does not evaporate if that there is something such that it is not a curry is right. sent9: if something does not evaporate then it is a laminectomy. sent10: something that does not evaporate is a reappraisal. sent11: the alendronate is not a sulky. sent12: the blackheart does not evaporate. sent13: the alendronate does not evaporate if it is not a Marseille. sent14: that the alendronate is a reappraisal and a Marseille is false. sent15: something is not a kind of a laminectomy if it evaporates. sent16: if something is not dishonorable then it is a beggar. ; $proof$ = 
sent5 & sent14 -> int1: the alendronate does not evaporate.; sent9 -> int2: the alendronate is a laminectomy if the fact that it does not evaporate is not false.; int1 & int2 -> hypothesis; __PROVED__