if the mounding paralanguage does not occur the androgenicness but not the telocentricness occurs.
sent1: the bifurcation does not occur if the alienation does not occur and the mounding paralanguage occurs. sent2: if the distortion does not occur the fact that the semioticsness does not occur is right. sent3: if that the Bermudanness does not occur is not wrong then the ballgame happens. sent4: that the alienation happens and the mounding paralanguage occurs is not correct. sent5: if that the twirling does not occur but the abdominal happens does not hold then the repercussion does not occur. sent6: if that the non-catoptricsness and the stativeness occurs is not correct then the chancing does not occur. sent7: if the Bermudanness does not occur then the ballgame does not occur. sent8: if the Tantricness happens then the arthralgicness does not occur. sent9: the androgenicness happens if the bifurcation does not occur. sent10: the alienation does not occur. sent11: the sadisticness occurs and/or the Bermudanness does not occur. sent12: if the toe-in does not occur the relativeness but not the Gilbertianness occurs. sent13: the telocentricness does not occur if the ballgame does not occur. sent14: that the bifurcation does not occur hold if that that not the alienation but the mounding paralanguage happens does not hold hold.
void -> assump1: Let's assume that the alienation does not occur but the mounding paralanguage occurs.; assump1 -> int1: the mounding paralanguage happens.; void -> assump2: Let's assume that the mounding paralanguage does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the alienation but the mounding paralanguage occurs is false.; int3 & sent14 -> int4: that the bifurcation does not occur is right.; int4 & sent9 -> int5: the androgenicness occurs.;
$hypothesis$ = if the mounding paralanguage does not occur the androgenicness but not the telocentricness occurs. ; $context$ = sent1: the bifurcation does not occur if the alienation does not occur and the mounding paralanguage occurs. sent2: if the distortion does not occur the fact that the semioticsness does not occur is right. sent3: if that the Bermudanness does not occur is not wrong then the ballgame happens. sent4: that the alienation happens and the mounding paralanguage occurs is not correct. sent5: if that the twirling does not occur but the abdominal happens does not hold then the repercussion does not occur. sent6: if that the non-catoptricsness and the stativeness occurs is not correct then the chancing does not occur. sent7: if the Bermudanness does not occur then the ballgame does not occur. sent8: if the Tantricness happens then the arthralgicness does not occur. sent9: the androgenicness happens if the bifurcation does not occur. sent10: the alienation does not occur. sent11: the sadisticness occurs and/or the Bermudanness does not occur. sent12: if the toe-in does not occur the relativeness but not the Gilbertianness occurs. sent13: the telocentricness does not occur if the ballgame does not occur. sent14: that the bifurcation does not occur hold if that that not the alienation but the mounding paralanguage happens does not hold hold. ; $proof$ = 
void -> assump1: Let's assume that the alienation does not occur but the mounding paralanguage occurs.; assump1 -> int1: the mounding paralanguage happens.; void -> assump2: Let's assume that the mounding paralanguage does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the alienation but the mounding paralanguage occurs is false.; int3 & sent14 -> int4: that the bifurcation does not occur is right.; int4 & sent9 -> int5: the androgenicness occurs.; __UNKNOWN__