the blinkering DS does not occur.
sent1: the blinkering mailbag occurs. sent2: the blinkering mailbag is prevented by either that the superscript happens or that the takeaway happens or both. sent3: the superscriptness does not occur if the fact that the non-philatelicness and the cutinizing happens does not hold. sent4: if the fact that the motorcade occurs and the queuing floatplane does not occur does not hold then the territoriality occurs. sent5: the fact that the takeaway occurs is not false if the territoriality occurs. sent6: the blinkering DS is prevented by that the motorcade happens but the queuing floatplane does not occur.
void -> assump1: Let's assume that the fact that the motorcade but not the queuing floatplane occurs does not hold.; sent4 & assump1 -> int1: the territoriality happens.; int1 & sent5 -> int2: the takeaway happens.; int2 -> int3: the superscriptness and/or the takeaway occurs.; int3 & sent2 -> int4: the blinkering mailbag does not occur.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the motorcade but not the queuing floatplane happens.; int6 & sent6 -> hypothesis;
the blinkering DS happens.
$hypothesis$ = the blinkering DS does not occur. ; $context$ = sent1: the blinkering mailbag occurs. sent2: the blinkering mailbag is prevented by either that the superscript happens or that the takeaway happens or both. sent3: the superscriptness does not occur if the fact that the non-philatelicness and the cutinizing happens does not hold. sent4: if the fact that the motorcade occurs and the queuing floatplane does not occur does not hold then the territoriality occurs. sent5: the fact that the takeaway occurs is not false if the territoriality occurs. sent6: the blinkering DS is prevented by that the motorcade happens but the queuing floatplane does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the motorcade but not the queuing floatplane occurs does not hold.; sent4 & assump1 -> int1: the territoriality happens.; int1 & sent5 -> int2: the takeaway happens.; int2 -> int3: the superscriptness and/or the takeaway occurs.; int3 & sent2 -> int4: the blinkering mailbag does not occur.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the motorcade but not the queuing floatplane happens.; int6 & sent6 -> hypothesis; __PROVED__