that both the non-endocentricness and the non-upstageness occurs is brought about by the non-tentacularness.
sent1: the fact that the endocentricness happens and the tentacularness happens is wrong. sent2: the blindedness does not occur. sent3: if that the non-tentacularness and the non-endocentricness happens does not hold the strengthening Uropsilus happens. sent4: if that the nutritionalness and the upstage occurs is wrong then the upstage does not occur. sent5: the fact that that the controllership does not occur and the endocentricness does not occur is correct is triggered by that the tentacularness happens. sent6: the non-endocentricness and the non-upstageness occurs if that the tentacularness happens is correct. sent7: that the endocentricness happens but the tentacularness does not occur is not right. sent8: the Alexandrian does not occur if the fact that the tentacularness does not occur and/or the endocentricness happens does not hold. sent9: if the prewarness does not occur then that the pitch occurs and the nonspatialness happens is wrong. sent10: the blinding and/or the upstaging is triggered by the non-nutritionalness. sent11: that the consternating ropewalker occurs but the appearance does not occur is not true. sent12: the antecedentness does not occur and/or the motion does not occur if the Hunt does not occur. sent13: if the fact that the antecedent but not the motion occurs is wrong then the blinding occurs. sent14: if the blinding does not occur that the nutritionalness and the upstage happens is false. sent15: the snookering meritocracy does not occur. sent16: the stoloniferousness occurs and the scrotalness does not occur.
void -> assump1: Let's assume that the endocentricness happens.; void -> assump2: Let's assume that the fact that the tentacularness does not occur is not wrong.; assump1 & assump2 -> int1: both the endocentricness and the non-tentacularness happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the endocentricness does not occur.; sent14 & sent2 -> int4: the fact that both the nutritionalness and the upstage occurs is not right.; sent4 & int4 -> int5: the upstageness does not occur.; int3 & int5 -> int6: both the non-endocentricness and the non-upstageness happens.; [assump2] & int6 -> hypothesis;
the strengthening Uropsilus occurs but the theistness does not occur.
$hypothesis$ = that both the non-endocentricness and the non-upstageness occurs is brought about by the non-tentacularness. ; $context$ = sent1: the fact that the endocentricness happens and the tentacularness happens is wrong. sent2: the blindedness does not occur. sent3: if that the non-tentacularness and the non-endocentricness happens does not hold the strengthening Uropsilus happens. sent4: if that the nutritionalness and the upstage occurs is wrong then the upstage does not occur. sent5: the fact that that the controllership does not occur and the endocentricness does not occur is correct is triggered by that the tentacularness happens. sent6: the non-endocentricness and the non-upstageness occurs if that the tentacularness happens is correct. sent7: that the endocentricness happens but the tentacularness does not occur is not right. sent8: the Alexandrian does not occur if the fact that the tentacularness does not occur and/or the endocentricness happens does not hold. sent9: if the prewarness does not occur then that the pitch occurs and the nonspatialness happens is wrong. sent10: the blinding and/or the upstaging is triggered by the non-nutritionalness. sent11: that the consternating ropewalker occurs but the appearance does not occur is not true. sent12: the antecedentness does not occur and/or the motion does not occur if the Hunt does not occur. sent13: if the fact that the antecedent but not the motion occurs is wrong then the blinding occurs. sent14: if the blinding does not occur that the nutritionalness and the upstage happens is false. sent15: the snookering meritocracy does not occur. sent16: the stoloniferousness occurs and the scrotalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the endocentricness happens.; void -> assump2: Let's assume that the fact that the tentacularness does not occur is not wrong.; assump1 & assump2 -> int1: both the endocentricness and the non-tentacularness happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the endocentricness does not occur.; sent14 & sent2 -> int4: the fact that both the nutritionalness and the upstage occurs is not right.; sent4 & int4 -> int5: the upstageness does not occur.; int3 & int5 -> int6: both the non-endocentricness and the non-upstageness happens.; [assump2] & int6 -> hypothesis; __PROVED__