the marri is not Moravian and is not a ablative if the town is extracellular.
sent1: if the marri is Moravian then it is a kind of a self-destruction and it is not a kind of a maund. sent2: if something that is not a maund is not a self-destruction then the fact that it is not extracellular is right. sent3: a Marian thing does not deactivate ibis and is not fragrant. sent4: the marri is not fragrant and is not extracellular. sent5: that the town is non-extracellular hold if the marri is a self-destruction but it is not a kind of a maund. sent6: the marri does not puff. sent7: if something that is not a maund is a self-destruction it is not a kind of a ablative. sent8: if something that does not deactivate ibis is not fragrant it is non-ablative. sent9: if the town is a self-destruction then the marri is a self-destruction. sent10: the town is not non-extracellular if something is not Moravian. sent11: if the fact that something is not craniometric and/or is not a comedian is not incorrect the marri is Marian. sent12: that the marri is craniometric is not false. sent13: there exists something such that it is non-craniometric or it is not a comedian or both. sent14: if the marri is a self-destruction the Salvadoran is a self-destruction.
void -> assump1: Let's assume that the marri is Moravian.; sent1 & assump1 -> int1: the marri is a self-destruction but it is not a maund.; int1 & sent5 -> int2: the town is non-extracellular.; void -> assump2: Let's assume that the town is extracellular.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the marri is not Moravian.; sent8 -> int5: if the marri does not deactivate ibis and is not fragrant it is not a ablative.; sent3 -> int6: if the marri is Marian it does not deactivate ibis and is not fragrant.; sent13 & sent11 -> int7: the marri is Marian.; int6 & int7 -> int8: the marri does not deactivate ibis and is not fragrant.; int5 & int8 -> int9: the marri is not a kind of a ablative.; int4 & int9 -> int10: the marri is not Moravian and it is not ablative.; [assump2] & int10 -> hypothesis;
the Salvadoran is a self-destruction.
$hypothesis$ = the marri is not Moravian and is not a ablative if the town is extracellular. ; $context$ = sent1: if the marri is Moravian then it is a kind of a self-destruction and it is not a kind of a maund. sent2: if something that is not a maund is not a self-destruction then the fact that it is not extracellular is right. sent3: a Marian thing does not deactivate ibis and is not fragrant. sent4: the marri is not fragrant and is not extracellular. sent5: that the town is non-extracellular hold if the marri is a self-destruction but it is not a kind of a maund. sent6: the marri does not puff. sent7: if something that is not a maund is a self-destruction it is not a kind of a ablative. sent8: if something that does not deactivate ibis is not fragrant it is non-ablative. sent9: if the town is a self-destruction then the marri is a self-destruction. sent10: the town is not non-extracellular if something is not Moravian. sent11: if the fact that something is not craniometric and/or is not a comedian is not incorrect the marri is Marian. sent12: that the marri is craniometric is not false. sent13: there exists something such that it is non-craniometric or it is not a comedian or both. sent14: if the marri is a self-destruction the Salvadoran is a self-destruction. ; $proof$ = 
void -> assump1: Let's assume that the marri is Moravian.; sent1 & assump1 -> int1: the marri is a self-destruction but it is not a maund.; int1 & sent5 -> int2: the town is non-extracellular.; void -> assump2: Let's assume that the town is extracellular.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the marri is not Moravian.; sent8 -> int5: if the marri does not deactivate ibis and is not fragrant it is not a ablative.; sent3 -> int6: if the marri is Marian it does not deactivate ibis and is not fragrant.; sent13 & sent11 -> int7: the marri is Marian.; int6 & int7 -> int8: the marri does not deactivate ibis and is not fragrant.; int5 & int8 -> int9: the marri is not a kind of a ablative.; int4 & int9 -> int10: the marri is not Moravian and it is not ablative.; [assump2] & int10 -> hypothesis; __PROVED__