the fact that the damascene does tinsel penthouse and it tinsels doo-wop does not hold.
sent1: if the anthropologist does tinsel penthouse it is not a kind of a megaton and does not tinsel doo-wop. sent2: something does not tinsel doo-wop and is not a Pincus if it is tuberous. sent3: the fact that the damascene does not tinsel doo-wop and is a kind of a Cromwell is wrong. sent4: The doo-wop does tinsel damascene. sent5: the fact that the anthropologist does not yell and it is not a tuition does not hold if it is not a kind of a megaton. sent6: if there exists something such that it is a antiphonary and it does tinsel doo-wop the anthropologist is punic. sent7: the damascene tinsels Attica and it is a psychodid. sent8: the damascene does tinsel doo-wop. sent9: if something that is a antiphonary is a kind of a megaton the damascene tinsels penthouse. sent10: the anthropologist is not non-punic. sent11: if the anthropologist is punic then it does not yell and it is not a tuition. sent12: the anthropologist is antiphonary. sent13: the anthropologist is not non-viceregal. sent14: the fact that the damascene does not tinsel doo-wop and does not yell is not right.
void -> assump1: Let's assume that the anthropologist is not a megaton.; sent5 & assump1 -> int1: that the anthropologist does not yell and it is not a tuition is false.; sent11 & sent10 -> int2: the anthropologist does not yell and it is not a tuition.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthropologist is a kind of a megaton.; int4 & sent12 -> int5: the anthropologist is not non-antiphonary and it is a megaton.; int5 -> int6: something is both a antiphonary and a megaton.; int6 & sent9 -> int7: the damascene does tinsel penthouse.; int7 & sent8 -> hypothesis;
the damascene does not tinsel doo-wop and is not a kind of a Pincus if it is tuberous.
sent2 -> hypothesis;
$hypothesis$ = the fact that the damascene does tinsel penthouse and it tinsels doo-wop does not hold. ; $context$ = sent1: if the anthropologist does tinsel penthouse it is not a kind of a megaton and does not tinsel doo-wop. sent2: something does not tinsel doo-wop and is not a Pincus if it is tuberous. sent3: the fact that the damascene does not tinsel doo-wop and is a kind of a Cromwell is wrong. sent4: The doo-wop does tinsel damascene. sent5: the fact that the anthropologist does not yell and it is not a tuition does not hold if it is not a kind of a megaton. sent6: if there exists something such that it is a antiphonary and it does tinsel doo-wop the anthropologist is punic. sent7: the damascene tinsels Attica and it is a psychodid. sent8: the damascene does tinsel doo-wop. sent9: if something that is a antiphonary is a kind of a megaton the damascene tinsels penthouse. sent10: the anthropologist is not non-punic. sent11: if the anthropologist is punic then it does not yell and it is not a tuition. sent12: the anthropologist is antiphonary. sent13: the anthropologist is not non-viceregal. sent14: the fact that the damascene does not tinsel doo-wop and does not yell is not right. ; $proof$ = 
void -> assump1: Let's assume that the anthropologist is not a megaton.; sent5 & assump1 -> int1: that the anthropologist does not yell and it is not a tuition is false.; sent11 & sent10 -> int2: the anthropologist does not yell and it is not a tuition.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anthropologist is a kind of a megaton.; int4 & sent12 -> int5: the anthropologist is not non-antiphonary and it is a megaton.; int5 -> int6: something is both a antiphonary and a megaton.; int6 & sent9 -> int7: the damascene does tinsel penthouse.; int7 & sent8 -> hypothesis; __DISPROVED__