if the necker numbers Dido then that the tenement is a Egyptian that is not a kind of a mohawk does not hold.
sent1: if the necker is not a Egyptian but it is pronominal then the highflier is a Egyptian. sent2: if there exists something such that it does number Dido and it is a kind of a pronominal the salve is not a kind of a mohawk. sent3: there exists something such that that it marbles Adventism and does not number narcoterrorism is not right. sent4: if that the salve is not a mohawk is correct that the tenement is Egyptian and not a mohawk is false. sent5: the necker is a kind of a pronominal if there exists something such that the fact that it marbles Adventism and does not number narcoterrorism does not hold.
void -> assump1: Let's assume that the necker numbers Dido.; sent3 & sent5 -> int1: the necker is a pronominal.; assump1 & int1 -> int2: the necker numbers Dido and is a kind of a pronominal.; int2 -> int3: there is something such that it numbers Dido and is a pronominal.; int3 & sent2 -> int4: the fact that the salve is not a mohawk is not false.; sent4 & int4 -> int5: that the tenement is a kind of a Egyptian that is not a mohawk is incorrect.; [assump1] & int5 -> hypothesis;
that the highflier is a kind of a Egyptian is not false.
$hypothesis$ = if the necker numbers Dido then that the tenement is a Egyptian that is not a kind of a mohawk does not hold. ; $context$ = sent1: if the necker is not a Egyptian but it is pronominal then the highflier is a Egyptian. sent2: if there exists something such that it does number Dido and it is a kind of a pronominal the salve is not a kind of a mohawk. sent3: there exists something such that that it marbles Adventism and does not number narcoterrorism is not right. sent4: if that the salve is not a mohawk is correct that the tenement is Egyptian and not a mohawk is false. sent5: the necker is a kind of a pronominal if there exists something such that the fact that it marbles Adventism and does not number narcoterrorism does not hold. ; $proof$ = 
void -> assump1: Let's assume that the necker numbers Dido.; sent3 & sent5 -> int1: the necker is a pronominal.; assump1 & int1 -> int2: the necker numbers Dido and is a kind of a pronominal.; int2 -> int3: there is something such that it numbers Dido and is a pronominal.; int3 & sent2 -> int4: the fact that the salve is not a mohawk is not false.; sent4 & int4 -> int5: that the tenement is a kind of a Egyptian that is not a mohawk is incorrect.; [assump1] & int5 -> hypothesis; __PROVED__