the tamp is an alveolar.
sent1: if that the tamp is an alveolar is not incorrect the tupik is a bombazine but not alveolar. sent2: the tupik does not congratulate Boann if the Sazerac is a kind of a bombazine that is not a kind of an integrity. sent3: there exists something such that it is not an integrity. sent4: if the tupik is both not a streamliner and a bombazine then the Sazerac is an integrity. sent5: the tamp is not a Equisetum. sent6: the tamp is alveolar if there is something such that it is a kind of unchaste thing that is not a kind of an integrity. sent7: the damper is unchaste and not an integrity if the Sazerac is an integrity. sent8: the dipole is not a kind of a hemoglobinopathy. sent9: if that something is not a hemoglobinopathy and it does not procrastinate is wrong it is not an alveolar. sent10: the dipole procrastinates and is not a hemoglobinopathy. sent11: if something procrastinates and/or congratulates Boann it is not a streamliner. sent12: if the fact that the dipole does congratulate Boann is right then it is not a streamliner. sent13: if the fact that the tupik does not congratulate Boann is not wrong the fact that the dipole is not a kind of a hemoglobinopathy and it does not procrastinate does not hold. sent14: there exists something such that it is unchaste. sent15: the Sazerac is an integrity if the tupik is a kind of a streamliner and it is a bombazine. sent16: if the fact that the Sazerac is an integrity is not incorrect then the damper is not an integrity. sent17: the tupik is not a kind of a streamliner. sent18: that the damper is not a kind of an integrity is not false. sent19: the tupik is both not a streamliner and a bombazine if the fact that the dipole is not a streamliner hold.
sent10 -> int1: the dipole procrastinates.; int1 -> int2: the dipole does procrastinate and/or congratulates Boann.; sent11 -> int3: if either the dipole does procrastinate or it congratulates Boann or both then it is not a streamliner.; int2 & int3 -> int4: the dipole is not a streamliner.; int4 & sent19 -> int5: the tupik is not a streamliner but it is a kind of a bombazine.; int5 & sent4 -> int6: the Sazerac is an integrity.; int6 & sent7 -> int7: the damper is unchaste but it is not a kind of an integrity.; int7 -> int8: there is something such that it is unchaste and it is not an integrity.; int8 & sent6 -> hypothesis;
the heterocyclic is a streamliner.
sent5 -> int9: the tamp is either not a Equisetum or an alveolar or both.; int9 -> int10: there exists something such that it is not a kind of a Equisetum or it is an alveolar or both.;
$hypothesis$ = the tamp is an alveolar. ; $context$ = sent1: if that the tamp is an alveolar is not incorrect the tupik is a bombazine but not alveolar. sent2: the tupik does not congratulate Boann if the Sazerac is a kind of a bombazine that is not a kind of an integrity. sent3: there exists something such that it is not an integrity. sent4: if the tupik is both not a streamliner and a bombazine then the Sazerac is an integrity. sent5: the tamp is not a Equisetum. sent6: the tamp is alveolar if there is something such that it is a kind of unchaste thing that is not a kind of an integrity. sent7: the damper is unchaste and not an integrity if the Sazerac is an integrity. sent8: the dipole is not a kind of a hemoglobinopathy. sent9: if that something is not a hemoglobinopathy and it does not procrastinate is wrong it is not an alveolar. sent10: the dipole procrastinates and is not a hemoglobinopathy. sent11: if something procrastinates and/or congratulates Boann it is not a streamliner. sent12: if the fact that the dipole does congratulate Boann is right then it is not a streamliner. sent13: if the fact that the tupik does not congratulate Boann is not wrong the fact that the dipole is not a kind of a hemoglobinopathy and it does not procrastinate does not hold. sent14: there exists something such that it is unchaste. sent15: the Sazerac is an integrity if the tupik is a kind of a streamliner and it is a bombazine. sent16: if the fact that the Sazerac is an integrity is not incorrect then the damper is not an integrity. sent17: the tupik is not a kind of a streamliner. sent18: that the damper is not a kind of an integrity is not false. sent19: the tupik is both not a streamliner and a bombazine if the fact that the dipole is not a streamliner hold. ; $proof$ = 
sent10 -> int1: the dipole procrastinates.; int1 -> int2: the dipole does procrastinate and/or congratulates Boann.; sent11 -> int3: if either the dipole does procrastinate or it congratulates Boann or both then it is not a streamliner.; int2 & int3 -> int4: the dipole is not a streamliner.; int4 & sent19 -> int5: the tupik is not a streamliner but it is a kind of a bombazine.; int5 & sent4 -> int6: the Sazerac is an integrity.; int6 & sent7 -> int7: the damper is unchaste but it is not a kind of an integrity.; int7 -> int8: there is something such that it is unchaste and it is not an integrity.; int8 & sent6 -> hypothesis; __PROVED__