the non-doctoralness is prevented by the thaneship.
sent1: if the fact that the motorcade does not occur and the fantasizing does not occur is incorrect then the thaneship does not occur. sent2: that the deepening occurs and the antecubitalness occurs does not hold. sent3: that the doctoralness happens is brought about by that the fiber-opticness does not occur and the venipuncture does not occur. sent4: the venipuncture does not occur if the exalting stamper does not occur. sent5: if the exalting substitution does not occur then the dorsalness does not occur. sent6: that the dorsalness does not occur yields the non-fiber-opticness. sent7: if the fact that the exalting stamper happens and the exalting Kubrick happens is not right then the exalting stamper does not occur. sent8: if the fact that the swamping commissionaire does not occur is not false then the fact that the exalting stamper occurs and the exalting Kubrick happens is false. sent9: not the unsalableness but the excavation happens. sent10: if the unsalableness does not occur but the excavation occurs the swamping commissionaire does not occur.
void -> assump1: Let's assume that the exalting substitution occurs.; void -> assump2: Let's assume that the thaneship happens.; sent10 & sent9 -> int1: the swamping commissionaire does not occur.; sent8 & int1 -> int2: the fact that the exalting stamper happens and the exalting Kubrick happens is not correct.; sent7 & int2 -> int3: the exalting stamper does not occur.; sent4 & int3 -> int4: the venipuncture does not occur.;
$hypothesis$ = the non-doctoralness is prevented by the thaneship. ; $context$ = sent1: if the fact that the motorcade does not occur and the fantasizing does not occur is incorrect then the thaneship does not occur. sent2: that the deepening occurs and the antecubitalness occurs does not hold. sent3: that the doctoralness happens is brought about by that the fiber-opticness does not occur and the venipuncture does not occur. sent4: the venipuncture does not occur if the exalting stamper does not occur. sent5: if the exalting substitution does not occur then the dorsalness does not occur. sent6: that the dorsalness does not occur yields the non-fiber-opticness. sent7: if the fact that the exalting stamper happens and the exalting Kubrick happens is not right then the exalting stamper does not occur. sent8: if the fact that the swamping commissionaire does not occur is not false then the fact that the exalting stamper occurs and the exalting Kubrick happens is false. sent9: not the unsalableness but the excavation happens. sent10: if the unsalableness does not occur but the excavation occurs the swamping commissionaire does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exalting substitution occurs.; void -> assump2: Let's assume that the thaneship happens.; sent10 & sent9 -> int1: the swamping commissionaire does not occur.; sent8 & int1 -> int2: the fact that the exalting stamper happens and the exalting Kubrick happens is not correct.; sent7 & int2 -> int3: the exalting stamper does not occur.; sent4 & int3 -> int4: the venipuncture does not occur.; __UNKNOWN__