the Sumerian is not a Lobotidae.
sent1: the Shudra is a kind of a stretching. sent2: the fact that the Sumerian is not the Lobotidae if the Sumerian bathes pasqueflower and is not sublingual hold. sent3: the Shudra is not a Lobotidae. sent4: if the fact that the fact that the Shudra is a kind of glial thing that is not a mouse is not correct is not wrong then it is not a stretching. sent5: if something that is glial is not a mouse then it is not acinar. sent6: if the Shudra is acinar then the Sumerian is a Lobotidae. sent7: if that the Sumerian does bathe pasqueflower but it is not a mouse does not hold then it is not a kind of a Lobotidae. sent8: if something is acinar then it bathes pasqueflower and is not far. sent9: if the Shudra is not acinar the Sumerian bathes pasqueflower but it is not sublingual.
void -> assump1: Let's assume that that the Shudra is glial and is not a mouse is false.; sent4 & assump1 -> int1: the Shudra does not stretch.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Shudra is both glial and not a mouse.; sent5 -> int4: the Shudra is not acinar if it is both glial and not a mouse.; int3 & int4 -> int5: the Shudra is not acinar.; int5 & sent9 -> int6: the Sumerian does bathe pasqueflower and is not sublingual.; int6 & sent2 -> hypothesis;
the Sumerian is a Lobotidae.
$hypothesis$ = the Sumerian is not a Lobotidae. ; $context$ = sent1: the Shudra is a kind of a stretching. sent2: the fact that the Sumerian is not the Lobotidae if the Sumerian bathes pasqueflower and is not sublingual hold. sent3: the Shudra is not a Lobotidae. sent4: if the fact that the fact that the Shudra is a kind of glial thing that is not a mouse is not correct is not wrong then it is not a stretching. sent5: if something that is glial is not a mouse then it is not acinar. sent6: if the Shudra is acinar then the Sumerian is a Lobotidae. sent7: if that the Sumerian does bathe pasqueflower but it is not a mouse does not hold then it is not a kind of a Lobotidae. sent8: if something is acinar then it bathes pasqueflower and is not far. sent9: if the Shudra is not acinar the Sumerian bathes pasqueflower but it is not sublingual. ; $proof$ = 
void -> assump1: Let's assume that that the Shudra is glial and is not a mouse is false.; sent4 & assump1 -> int1: the Shudra does not stretch.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Shudra is both glial and not a mouse.; sent5 -> int4: the Shudra is not acinar if it is both glial and not a mouse.; int3 & int4 -> int5: the Shudra is not acinar.; int5 & sent9 -> int6: the Sumerian does bathe pasqueflower and is not sublingual.; int6 & sent2 -> hypothesis; __PROVED__