the stipe does not drum.
sent1: if something is not a drinking and not a tagliatelle it is a drumming. sent2: The ulema does dogmatize stipe. sent3: the schizopetalon is a drinking. sent4: if the stipe does not react it is not a drumming. sent5: the fact that something bunks onset and is a kind of a tagliatelle is incorrect if it is not a drinking. sent6: the schizopetalon does react and it dogmatizes ulema. sent7: the stipe is a kind of a clerkship but it does not bunk onset if it is not a tagliatelle. sent8: if the stipe is a tagliatelle and it does dogmatize ulema then it does not react. sent9: the stipe does dogmatize ulema. sent10: if the stipe does not bunk onset the schizopetalon is not a drinking.
void -> assump1: Let's assume that the stipe is not a kind of a tagliatelle.; sent7 & assump1 -> int1: the stipe is a kind of a clerkship but it does not bunk onset.; int1 -> int2: the stipe does not bunk onset.; int2 & sent10 -> int3: the schizopetalon is not a drinking.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stipe is a tagliatelle.; int5 & sent9 -> int6: the stipe is a kind of a tagliatelle and it dogmatizes ulema.; int6 & sent8 -> int7: the stipe does not react.; int7 & sent4 -> hypothesis;
the stipe drums.
sent1 -> int8: that the stipe is a drumming hold if it is not a drinking and it is not a tagliatelle.;
$hypothesis$ = the stipe does not drum. ; $context$ = sent1: if something is not a drinking and not a tagliatelle it is a drumming. sent2: The ulema does dogmatize stipe. sent3: the schizopetalon is a drinking. sent4: if the stipe does not react it is not a drumming. sent5: the fact that something bunks onset and is a kind of a tagliatelle is incorrect if it is not a drinking. sent6: the schizopetalon does react and it dogmatizes ulema. sent7: the stipe is a kind of a clerkship but it does not bunk onset if it is not a tagliatelle. sent8: if the stipe is a tagliatelle and it does dogmatize ulema then it does not react. sent9: the stipe does dogmatize ulema. sent10: if the stipe does not bunk onset the schizopetalon is not a drinking. ; $proof$ = 
void -> assump1: Let's assume that the stipe is not a kind of a tagliatelle.; sent7 & assump1 -> int1: the stipe is a kind of a clerkship but it does not bunk onset.; int1 -> int2: the stipe does not bunk onset.; int2 & sent10 -> int3: the schizopetalon is not a drinking.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stipe is a tagliatelle.; int5 & sent9 -> int6: the stipe is a kind of a tagliatelle and it dogmatizes ulema.; int6 & sent8 -> int7: the stipe does not react.; int7 & sent4 -> hypothesis; __PROVED__