there exists something such that the fact that it is a voicelessness and it is not a German does not hold.
sent1: the jorum is not planetary. sent2: if something does not slacken the fact that it does detrain and is a twist is incorrect. sent3: if the wingback does not go that it is not alike but a fix does not hold. sent4: the fact that the jorum is a musophobia but it is non-raptorial is incorrect. sent5: the tailor-made is a kind of a mode. sent6: the tailor-made is not trophic. sent7: if something is not alike then it is not a kind of a mode. sent8: the fact that the tailor-made is a kind of a mode but it is not a kind of a voicelessness is incorrect. sent9: something is a gunboat but it is not a disadvantage. sent10: if something is not raptorial then the fact that it is a voicelessness and it is not a German is incorrect. sent11: that the tailor-made is unalike hold if the jorum is raptorial. sent12: the jorum deduces pedal.
void -> assump1: Let's assume that the jorum is raptorial.; sent11 & assump1 -> int1: the tailor-made is unalike.; sent7 -> int2: if the tailor-made is unalike then it is not a kind of a mode.; int1 & int2 -> int3: the tailor-made is not a mode.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jorum is not raptorial.; sent10 -> int6: if the jorum is not raptorial the fact that it is a kind of a voicelessness and is not a German is not true.; int5 & int6 -> int7: that the jorum is a voicelessness but not a German is wrong.; int7 -> hypothesis;
$hypothesis$ = there exists something such that the fact that it is a voicelessness and it is not a German does not hold. ; $context$ = sent1: the jorum is not planetary. sent2: if something does not slacken the fact that it does detrain and is a twist is incorrect. sent3: if the wingback does not go that it is not alike but a fix does not hold. sent4: the fact that the jorum is a musophobia but it is non-raptorial is incorrect. sent5: the tailor-made is a kind of a mode. sent6: the tailor-made is not trophic. sent7: if something is not alike then it is not a kind of a mode. sent8: the fact that the tailor-made is a kind of a mode but it is not a kind of a voicelessness is incorrect. sent9: something is a gunboat but it is not a disadvantage. sent10: if something is not raptorial then the fact that it is a voicelessness and it is not a German is incorrect. sent11: that the tailor-made is unalike hold if the jorum is raptorial. sent12: the jorum deduces pedal. ; $proof$ = 
void -> assump1: Let's assume that the jorum is raptorial.; sent11 & assump1 -> int1: the tailor-made is unalike.; sent7 -> int2: if the tailor-made is unalike then it is not a kind of a mode.; int1 & int2 -> int3: the tailor-made is not a mode.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jorum is not raptorial.; sent10 -> int6: if the jorum is not raptorial the fact that it is a kind of a voicelessness and is not a German is not true.; int5 & int6 -> int7: that the jorum is a voicelessness but not a German is wrong.; int7 -> hypothesis; __PROVED__