the muscularness does not occur.
sent1: the magnification is triggered by the noncrystallineness. sent2: the orthodonticness happens if that the noncrystallineness does not occur is right. sent3: the monopolization does not occur. sent4: if the monopolization does not occur then that the tracking occurs and the regimentalness happens is false. sent5: if that both the tracking and the regimentalness occurs does not hold then the regimentalness does not occur. sent6: the regimentalness occurs if the magnification occurs. sent7: the muscularness happens if the orthodonticness occurs.
void -> assump1: Let's assume that the noncrystallineness occurs.; sent1 & assump1 -> int1: that the magnification occurs is not wrong.; int1 & sent6 -> int2: the regimentalness occurs.; sent4 & sent3 -> int3: the fact that the track and the regimentalness occurs is false.; sent5 & int3 -> int4: the regimentalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the noncrystallineness does not occur.; int6 & sent2 -> int7: the orthodonticness occurs.; int7 & sent7 -> hypothesis;
$hypothesis$ = the muscularness does not occur. ; $context$ = sent1: the magnification is triggered by the noncrystallineness. sent2: the orthodonticness happens if that the noncrystallineness does not occur is right. sent3: the monopolization does not occur. sent4: if the monopolization does not occur then that the tracking occurs and the regimentalness happens is false. sent5: if that both the tracking and the regimentalness occurs does not hold then the regimentalness does not occur. sent6: the regimentalness occurs if the magnification occurs. sent7: the muscularness happens if the orthodonticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the noncrystallineness occurs.; sent1 & assump1 -> int1: that the magnification occurs is not wrong.; int1 & sent6 -> int2: the regimentalness occurs.; sent4 & sent3 -> int3: the fact that the track and the regimentalness occurs is false.; sent5 & int3 -> int4: the regimentalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the noncrystallineness does not occur.; int6 & sent2 -> int7: the orthodonticness occurs.; int7 & sent7 -> hypothesis; __DISPROVED__