that the footstep happens yields that the monometallicness occurs.
sent1: that the footstep happens is prevented by that the lavage and the non-convergentness happens. sent2: the lavage happens but the convergentness does not occur if the albuminuricness happens. sent3: that the hubbub does not occur hold. sent4: the thinking leptosporangium happens if the blemish happens. sent5: the albuminuricness happens if the southness does not occur. sent6: that the southness does not occur hold if that the easiness occurs or the settling does not occur or both is not right. sent7: the internalness happens and the isolation does not occur. sent8: the settling happens. sent9: the convergentness does not occur. sent10: if both the lavage and the convergentness happens the fact that the footstep does not occur hold. sent11: that the settling occurs is caused by the non-monometallicness. sent12: the fact that the easiness occurs and/or the settling does not occur is incorrect if the monometallicness does not occur. sent13: the fact that the association or the non-unilateralness or both occurs is not true. sent14: if that either the easiness happens or the settling occurs or both is wrong the southness does not occur.
void -> assump2: Let's assume that the monometallicness does not occur.; sent12 & assump2 -> int1: the fact that the easiness happens and/or the settling does not occur is wrong.; int1 & sent6 -> int2: the southness does not occur.; int2 & sent5 -> int3: the albuminuricness occurs.; int3 & sent2 -> int4: both the lavage and the non-convergentness occurs.; int4 & sent1 -> int5: the footstep does not occur.; void -> assump1: Let's assume that the footstep occurs.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the monometallicness occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the footstep happens yields that the monometallicness occurs. ; $context$ = sent1: that the footstep happens is prevented by that the lavage and the non-convergentness happens. sent2: the lavage happens but the convergentness does not occur if the albuminuricness happens. sent3: that the hubbub does not occur hold. sent4: the thinking leptosporangium happens if the blemish happens. sent5: the albuminuricness happens if the southness does not occur. sent6: that the southness does not occur hold if that the easiness occurs or the settling does not occur or both is not right. sent7: the internalness happens and the isolation does not occur. sent8: the settling happens. sent9: the convergentness does not occur. sent10: if both the lavage and the convergentness happens the fact that the footstep does not occur hold. sent11: that the settling occurs is caused by the non-monometallicness. sent12: the fact that the easiness occurs and/or the settling does not occur is incorrect if the monometallicness does not occur. sent13: the fact that the association or the non-unilateralness or both occurs is not true. sent14: if that either the easiness happens or the settling occurs or both is wrong the southness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the monometallicness does not occur.; sent12 & assump2 -> int1: the fact that the easiness happens and/or the settling does not occur is wrong.; int1 & sent6 -> int2: the southness does not occur.; int2 & sent5 -> int3: the albuminuricness occurs.; int3 & sent2 -> int4: both the lavage and the non-convergentness occurs.; int4 & sent1 -> int5: the footstep does not occur.; void -> assump1: Let's assume that the footstep occurs.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the monometallicness occurs.; [assump1] & int7 -> hypothesis; __PROVED__