the Mauritanian does not parse heartland if the carbonation is a kind of a preschooler.
sent1: if the fact that something articles carbonation and does not parse whooper is incorrect it is not a kind of a questioning. sent2: the driveshaft upheaves. sent3: the carbonation is not a preschooler if the Mauritanian does upheave but it does not parse Khabarovsk. sent4: that the Mauritanian does parse heartland hold if the fact that it upheaves and it does not parse Khabarovsk does not hold. sent5: the Mauritanian parses heartland. sent6: if the carbonation is a preschooler then the Mauritanian parses heartland. sent7: something does not parse heartland if it does not upheave. sent8: if that something does upheave and does not parse Khabarovsk is not correct then it does not parse heartland. sent9: if the Mauritanian does not upheave then it does not parse heartland. sent10: the Mauritanian upheaves. sent11: if the fact that something upheaves but it does not parse Khabarovsk is wrong it parses heartland. sent12: the Mauritanian is unalterable.
void -> assump2: Let's assume that the Mauritanian upheaves but it does not parse Khabarovsk.; sent3 & assump2 -> int1: the carbonation is not a preschooler.; void -> assump1: Let's assume that the carbonation is a kind of a preschooler.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Mauritanian upheaves and does not parse Khabarovsk is incorrect.; sent8 -> int4: if that the Mauritanian does upheave but it does not parse Khabarovsk is false then it does not parse heartland.; int3 & int4 -> int5: the Mauritanian does not parse heartland.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the Mauritanian does not parse heartland if the carbonation is a kind of a preschooler. ; $context$ = sent1: if the fact that something articles carbonation and does not parse whooper is incorrect it is not a kind of a questioning. sent2: the driveshaft upheaves. sent3: the carbonation is not a preschooler if the Mauritanian does upheave but it does not parse Khabarovsk. sent4: that the Mauritanian does parse heartland hold if the fact that it upheaves and it does not parse Khabarovsk does not hold. sent5: the Mauritanian parses heartland. sent6: if the carbonation is a preschooler then the Mauritanian parses heartland. sent7: something does not parse heartland if it does not upheave. sent8: if that something does upheave and does not parse Khabarovsk is not correct then it does not parse heartland. sent9: if the Mauritanian does not upheave then it does not parse heartland. sent10: the Mauritanian upheaves. sent11: if the fact that something upheaves but it does not parse Khabarovsk is wrong it parses heartland. sent12: the Mauritanian is unalterable. ; $proof$ = 
void -> assump2: Let's assume that the Mauritanian upheaves but it does not parse Khabarovsk.; sent3 & assump2 -> int1: the carbonation is not a preschooler.; void -> assump1: Let's assume that the carbonation is a kind of a preschooler.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Mauritanian upheaves and does not parse Khabarovsk is incorrect.; sent8 -> int4: if that the Mauritanian does upheave but it does not parse Khabarovsk is false then it does not parse heartland.; int3 & int4 -> int5: the Mauritanian does not parse heartland.; [assump1] & int5 -> hypothesis; __PROVED__