the fact that if the unwrapping tenor does not occur then the spieling jadeite does not occur and the recce does not occur does not hold.
sent1: if the equatorialness happens that the recce does not occur but the Charlestoning occurs is false. sent2: that the Charleston does not occur prevents that the recce occurs. sent3: the Mosaic does not occur. sent4: that the unwrapping tenor does not occur causes that the spieling jadeite does not occur and the yaws does not occur. sent5: both the equatorialness and the impersonating stonecress occurs if the error does not occur. sent6: the impersonating stonecress does not occur. sent7: if the unwrapping tenor occurs the fact that both the non-Benedictineness and the particularisticness occurs is not correct. sent8: that the spieling jadeite does not occur and the recce does not occur is triggered by the unwrapping tenor. sent9: if that both the non-equatorialness and the Charlestoning occurs does not hold then the recce does not occur. sent10: that the non-equatorialness and the Charleston occurs is false if the impersonating stonecress does not occur.
void -> assump1: Let's assume that the unwrapping tenor does not occur.; sent4 & assump1 -> int1: the spieling jadeite does not occur and the yaws does not occur.; int1 -> int2: the spieling jadeite does not occur.; sent10 & sent6 -> int3: the fact that the equatorial does not occur but the Charlestoning occurs is not true.; sent9 & int3 -> int4: the recce does not occur.; int2 & int4 -> int5: the spieling jadeite does not occur and the recce does not occur.; [assump1] & int5 -> hypothesis;
that not the Benedictineness but the particularisticness happens is incorrect.
$hypothesis$ = the fact that if the unwrapping tenor does not occur then the spieling jadeite does not occur and the recce does not occur does not hold. ; $context$ = sent1: if the equatorialness happens that the recce does not occur but the Charlestoning occurs is false. sent2: that the Charleston does not occur prevents that the recce occurs. sent3: the Mosaic does not occur. sent4: that the unwrapping tenor does not occur causes that the spieling jadeite does not occur and the yaws does not occur. sent5: both the equatorialness and the impersonating stonecress occurs if the error does not occur. sent6: the impersonating stonecress does not occur. sent7: if the unwrapping tenor occurs the fact that both the non-Benedictineness and the particularisticness occurs is not correct. sent8: that the spieling jadeite does not occur and the recce does not occur is triggered by the unwrapping tenor. sent9: if that both the non-equatorialness and the Charlestoning occurs does not hold then the recce does not occur. sent10: that the non-equatorialness and the Charleston occurs is false if the impersonating stonecress does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unwrapping tenor does not occur.; sent4 & assump1 -> int1: the spieling jadeite does not occur and the yaws does not occur.; int1 -> int2: the spieling jadeite does not occur.; sent10 & sent6 -> int3: the fact that the equatorial does not occur but the Charlestoning occurs is not true.; sent9 & int3 -> int4: the recce does not occur.; int2 & int4 -> int5: the spieling jadeite does not occur and the recce does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__