the mount occurs.
sent1: the sounding nonmember occurs. sent2: the inductiveness occurs if the apophysealness happens. sent3: the mounting does not occur if that not the decimalization but the mounting happens does not hold. sent4: the scleroticness does not occur if the decimalization occurs and the sounding nonmember happens. sent5: that the scleroticness occurs and the sweet occurs is triggered by that the commercialization does not occur. sent6: if the sounding Attlee does not occur then the muffing Lucy occurs. sent7: the inductiveness occurs if the decimalization does not occur or the apophysealness occurs or both. sent8: the darting occurs if the zoicness occurs. sent9: the mount happens if that the inductiveness occurs is not wrong. sent10: the calcanealness occurs.
void -> assump1: Let's assume that the decimalization occurs.; assump1 & sent1 -> int1: both the decimalization and the sounding nonmember occurs.; int1 & sent4 -> int2: the scleroticness does not occur.;
the mounting does not occur.
$hypothesis$ = the mount occurs. ; $context$ = sent1: the sounding nonmember occurs. sent2: the inductiveness occurs if the apophysealness happens. sent3: the mounting does not occur if that not the decimalization but the mounting happens does not hold. sent4: the scleroticness does not occur if the decimalization occurs and the sounding nonmember happens. sent5: that the scleroticness occurs and the sweet occurs is triggered by that the commercialization does not occur. sent6: if the sounding Attlee does not occur then the muffing Lucy occurs. sent7: the inductiveness occurs if the decimalization does not occur or the apophysealness occurs or both. sent8: the darting occurs if the zoicness occurs. sent9: the mount happens if that the inductiveness occurs is not wrong. sent10: the calcanealness occurs. ; $proof$ = 
void -> assump1: Let's assume that the decimalization occurs.; assump1 & sent1 -> int1: both the decimalization and the sounding nonmember occurs.; int1 & sent4 -> int2: the scleroticness does not occur.; __UNKNOWN__