if the Mesa is not a Umbelliferae then the physique is a whisperer and it is a kind of a deflector.
sent1: the Mesa is stylish and is a tinker if the sauceboat is not a kind of a whisperer. sent2: the physique is a 1840s. sent3: the physique is a tinker. sent4: the sauceboat is a 1840s if that it is stylish hold. sent5: the sauceboat is stylish if the Mesa is a kind of a Umbelliferae that is a tinker. sent6: if the dimer is a sprachgefuhl it is not a deflector. sent7: if the Mesa is not a Umbelliferae but it does tinker then the sauceboat is stylish. sent8: if the sauceboat is a kind of a 1840s the physique is a whisperer. sent9: the Mesa is not chylific. sent10: if something is not a deflector then the fact that it is both not a 1840s and a whisperer does not hold. sent11: the physique is a deflector. sent12: if the fact that the dimer is both not a 1840s and a whisperer is not true the sauceboat is a kind of a tinker. sent13: if the sauceboat does tinker the Mesa is a kind of a 1840s and is a kind of a deflector. sent14: the Mesa tinkers.
void -> assump1: Let's assume that the Mesa is not a kind of a Umbelliferae.; assump1 & sent14 -> int1: the Mesa is not a Umbelliferae but a tinker.; int1 & sent7 -> int2: the sauceboat is stylish.; int2 & sent4 -> int3: the sauceboat is a 1840s.; int3 & sent8 -> int4: the physique is a kind of a whisperer.; int4 & sent11 -> int5: the physique is both a whisperer and a deflector.; [assump1] & int5 -> hypothesis;
the physique is stylish.
sent10 -> int6: if the fact that the dimer is not a deflector is not false then that it is both not a 1840s and a whisperer is incorrect.;
$hypothesis$ = if the Mesa is not a Umbelliferae then the physique is a whisperer and it is a kind of a deflector. ; $context$ = sent1: the Mesa is stylish and is a tinker if the sauceboat is not a kind of a whisperer. sent2: the physique is a 1840s. sent3: the physique is a tinker. sent4: the sauceboat is a 1840s if that it is stylish hold. sent5: the sauceboat is stylish if the Mesa is a kind of a Umbelliferae that is a tinker. sent6: if the dimer is a sprachgefuhl it is not a deflector. sent7: if the Mesa is not a Umbelliferae but it does tinker then the sauceboat is stylish. sent8: if the sauceboat is a kind of a 1840s the physique is a whisperer. sent9: the Mesa is not chylific. sent10: if something is not a deflector then the fact that it is both not a 1840s and a whisperer does not hold. sent11: the physique is a deflector. sent12: if the fact that the dimer is both not a 1840s and a whisperer is not true the sauceboat is a kind of a tinker. sent13: if the sauceboat does tinker the Mesa is a kind of a 1840s and is a kind of a deflector. sent14: the Mesa tinkers. ; $proof$ = 
void -> assump1: Let's assume that the Mesa is not a kind of a Umbelliferae.; assump1 & sent14 -> int1: the Mesa is not a Umbelliferae but a tinker.; int1 & sent7 -> int2: the sauceboat is stylish.; int2 & sent4 -> int3: the sauceboat is a 1840s.; int3 & sent8 -> int4: the physique is a kind of a whisperer.; int4 & sent11 -> int5: the physique is both a whisperer and a deflector.; [assump1] & int5 -> hypothesis; __PROVED__