the sphericalness happens.
sent1: that the psychologicalness does not occur prevents that the summarizing capture does not occur. sent2: the pervaporation does not occur if the sphericalness occurs and the arterialness occurs. sent3: either that the detailing occurs or that the frisking shrubbery happens or both triggers that the offsetting Mommsen does not occur. sent4: the vandalism does not occur. sent5: both the offsetting Mommsen and the entr'acte occurs if the summarizing Monera does not occur. sent6: if the fact that the accentualness does not occur and the itch does not occur is incorrect the fact that the details happens hold. sent7: the synchronousness happens. sent8: if the pervaporation does not occur then that that the accentualness does not occur and the itching does not occur does not hold hold. sent9: that the synchronousness happens and the vandalism does not occur brings about that the summarizing Monera does not occur. sent10: the arterialness occurs.
void -> assump1: Let's assume that the sphericalness happens.; assump1 & sent10 -> int1: the sphericalness occurs and the arterialness occurs.; int1 & sent2 -> int2: the pervaporation does not occur.; int2 & sent8 -> int3: that the accentualness does not occur and the itch does not occur does not hold.; int3 & sent6 -> int4: the detailing happens.; int4 -> int5: either the details or the frisking shrubbery or both occurs.; int5 & sent3 -> int6: the offsetting Mommsen does not occur.; sent7 & sent4 -> int7: the synchronousness but not the vandalism happens.; sent9 & int7 -> int8: the summarizing Monera does not occur.; sent5 & int8 -> int9: both the offsetting Mommsen and the entr'acte happens.; int9 -> int10: the offsetting Mommsen happens.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
$hypothesis$ = the sphericalness happens. ; $context$ = sent1: that the psychologicalness does not occur prevents that the summarizing capture does not occur. sent2: the pervaporation does not occur if the sphericalness occurs and the arterialness occurs. sent3: either that the detailing occurs or that the frisking shrubbery happens or both triggers that the offsetting Mommsen does not occur. sent4: the vandalism does not occur. sent5: both the offsetting Mommsen and the entr'acte occurs if the summarizing Monera does not occur. sent6: if the fact that the accentualness does not occur and the itch does not occur is incorrect the fact that the details happens hold. sent7: the synchronousness happens. sent8: if the pervaporation does not occur then that that the accentualness does not occur and the itching does not occur does not hold hold. sent9: that the synchronousness happens and the vandalism does not occur brings about that the summarizing Monera does not occur. sent10: the arterialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the sphericalness happens.; assump1 & sent10 -> int1: the sphericalness occurs and the arterialness occurs.; int1 & sent2 -> int2: the pervaporation does not occur.; int2 & sent8 -> int3: that the accentualness does not occur and the itch does not occur does not hold.; int3 & sent6 -> int4: the detailing happens.; int4 -> int5: either the details or the frisking shrubbery or both occurs.; int5 & sent3 -> int6: the offsetting Mommsen does not occur.; sent7 & sent4 -> int7: the synchronousness but not the vandalism happens.; sent9 & int7 -> int8: the summarizing Monera does not occur.; sent5 & int8 -> int9: both the offsetting Mommsen and the entr'acte happens.; int9 -> int10: the offsetting Mommsen happens.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__