if the planetarium is not a kind of a twinberry and decreases Libby the punch is not ballistic.
sent1: if something is dyadic the fact that it is not domiciliary and it does not articulate does not hold. sent2: the punch is ballistic if it does not articulate. sent3: the punch does not decrease blackjack and/or is Mormons if the Hidatsa is not ballistic. sent4: the westerly is gerundial. sent5: something is not inarticulate if it is dyadic. sent6: if something articulates it is not domiciliary. sent7: the erica is ballistic. sent8: if something articulates then it is not a twinberry. sent9: if something is a twinberry it does decrease Libby. sent10: if the planetarium is a Carpobrotus then the reticulation is a twinberry. sent11: that the planetarium is not a Carpobrotus but it decreases blackjack hold if it is not a twinberry. sent12: if the planetarium is not a Carpobrotus and decreases blackjack then the punch is not a kind of a Mormons. sent13: the Hidatsa is dyadic if the westerly is gerundial. sent14: if the punch is ballistic but it is not a Mormons then the Hidatsa is not non-domiciliary.
void -> assump1: Let's assume that the planetarium is not a twinberry and decreases Libby.; assump1 -> int1: the planetarium is not a twinberry.; int1 & sent11 -> int2: the planetarium is not a Carpobrotus and decreases blackjack.; int2 & sent12 -> int3: the punch is not a kind of a Mormons.; void -> assump2: Let's assume that the punch is ballistic.; int3 & assump2 -> int4: the punch is ballistic and is not Mormons.; int4 & sent14 -> int5: the Hidatsa is domiciliary.; sent6 -> int6: the Hidatsa is not domiciliary if it is articulate.; sent5 -> int7: if the Hidatsa is dyadic it does articulate.; sent13 & sent4 -> int8: the Hidatsa is dyadic.; int7 & int8 -> int9: the Hidatsa articulates.; int6 & int9 -> int10: the Hidatsa is not domiciliary.; int5 & int10 -> int11: this is contradiction.; [assump2] & int11 -> int12: the fact that the punch is not ballistic is not wrong.; [assump1] & int12 -> hypothesis;
the reticulation decreases Libby.
sent9 -> int13: the reticulation decreases Libby if that it is a kind of a twinberry is not false.; sent1 -> int14: if the westerly is dyadic then the fact that it is not domiciliary and it is not articulate is false.;
$hypothesis$ = if the planetarium is not a kind of a twinberry and decreases Libby the punch is not ballistic. ; $context$ = sent1: if something is dyadic the fact that it is not domiciliary and it does not articulate does not hold. sent2: the punch is ballistic if it does not articulate. sent3: the punch does not decrease blackjack and/or is Mormons if the Hidatsa is not ballistic. sent4: the westerly is gerundial. sent5: something is not inarticulate if it is dyadic. sent6: if something articulates it is not domiciliary. sent7: the erica is ballistic. sent8: if something articulates then it is not a twinberry. sent9: if something is a twinberry it does decrease Libby. sent10: if the planetarium is a Carpobrotus then the reticulation is a twinberry. sent11: that the planetarium is not a Carpobrotus but it decreases blackjack hold if it is not a twinberry. sent12: if the planetarium is not a Carpobrotus and decreases blackjack then the punch is not a kind of a Mormons. sent13: the Hidatsa is dyadic if the westerly is gerundial. sent14: if the punch is ballistic but it is not a Mormons then the Hidatsa is not non-domiciliary. ; $proof$ = 
void -> assump1: Let's assume that the planetarium is not a twinberry and decreases Libby.; assump1 -> int1: the planetarium is not a twinberry.; int1 & sent11 -> int2: the planetarium is not a Carpobrotus and decreases blackjack.; int2 & sent12 -> int3: the punch is not a kind of a Mormons.; void -> assump2: Let's assume that the punch is ballistic.; int3 & assump2 -> int4: the punch is ballistic and is not Mormons.; int4 & sent14 -> int5: the Hidatsa is domiciliary.; sent6 -> int6: the Hidatsa is not domiciliary if it is articulate.; sent5 -> int7: if the Hidatsa is dyadic it does articulate.; sent13 & sent4 -> int8: the Hidatsa is dyadic.; int7 & int8 -> int9: the Hidatsa articulates.; int6 & int9 -> int10: the Hidatsa is not domiciliary.; int5 & int10 -> int11: this is contradiction.; [assump2] & int11 -> int12: the fact that the punch is not ballistic is not wrong.; [assump1] & int12 -> hypothesis; __PROVED__