the pyxidium is a TSS.
sent1: there is something such that that it is not cementitious and it does queen cubeb is wrong. sent2: there exists something such that that it is cementitious and does queen cubeb is not correct. sent3: that the tadalafil is not a Georgian hold if the bivalve is planetary or it is integumentary or both. sent4: if there exists something such that it is cementitious the bivalve is planetary. sent5: the pyxidium is a kind of a TSS if the tadalafil is not a kind of a Georgian. sent6: the pyxidium is not a TSS if it is planetary. sent7: the bivalve is planetary if there exists something such that the fact that it is not cementitious and does queen cubeb is not correct. sent8: if something is not non-planetary the fact that it is not a kind of a forty and it is a kind of a IOU is false. sent9: the tadalafil is not a Georgian if the bivalve is integumentary.
sent1 & sent7 -> int1: the bivalve is planetary.; int1 -> int2: the bivalve is planetary or it is integumentary or both.; int2 & sent3 -> int3: the tadalafil is not a Georgian.; int3 & sent5 -> hypothesis;
there is something such that the fact that it is not a kind of a forty and is a kind of a IOU does not hold.
sent8 -> int4: the fact that the tadalafil is not a forty but a IOU is not true if it is planetary.;
$hypothesis$ = the pyxidium is a TSS. ; $context$ = sent1: there is something such that that it is not cementitious and it does queen cubeb is wrong. sent2: there exists something such that that it is cementitious and does queen cubeb is not correct. sent3: that the tadalafil is not a Georgian hold if the bivalve is planetary or it is integumentary or both. sent4: if there exists something such that it is cementitious the bivalve is planetary. sent5: the pyxidium is a kind of a TSS if the tadalafil is not a kind of a Georgian. sent6: the pyxidium is not a TSS if it is planetary. sent7: the bivalve is planetary if there exists something such that the fact that it is not cementitious and does queen cubeb is not correct. sent8: if something is not non-planetary the fact that it is not a kind of a forty and it is a kind of a IOU is false. sent9: the tadalafil is not a Georgian if the bivalve is integumentary. ; $proof$ = 
sent1 & sent7 -> int1: the bivalve is planetary.; int1 -> int2: the bivalve is planetary or it is integumentary or both.; int2 & sent3 -> int3: the tadalafil is not a Georgian.; int3 & sent5 -> hypothesis; __PROVED__