the tetravalentness happens.
sent1: that the sericulture does not occur is prevented by that the sericulture occurs and/or the completion does not occur. sent2: that the forbidding does not occur brings about that the sericulture occurs and/or that the completion does not occur. sent3: that the abiotrophy does not occur is prevented by that the consubstantiating happens. sent4: the sericulture happens. sent5: if that the completion occurs hold then the tetravalentness occurs. sent6: if the sobering happens then the precession occurs. sent7: the alvineness and the non-archegonialness happens if the precession occurs. sent8: that the forbidding occurs is prevented by that the alvineness and the non-archegonialness happens. sent9: that the sericulture does not occur triggers the unregenerateness.
the tetravalentness does not occur.
$hypothesis$ = the tetravalentness happens. ; $context$ = sent1: that the sericulture does not occur is prevented by that the sericulture occurs and/or the completion does not occur. sent2: that the forbidding does not occur brings about that the sericulture occurs and/or that the completion does not occur. sent3: that the abiotrophy does not occur is prevented by that the consubstantiating happens. sent4: the sericulture happens. sent5: if that the completion occurs hold then the tetravalentness occurs. sent6: if the sobering happens then the precession occurs. sent7: the alvineness and the non-archegonialness happens if the precession occurs. sent8: that the forbidding occurs is prevented by that the alvineness and the non-archegonialness happens. sent9: that the sericulture does not occur triggers the unregenerateness. ; $proof$ = 
__UNKNOWN__