the downmarketness occurs if the disembowelment occurs.
sent1: if the measured but not the initiative happens then the draping time-switch occurs. sent2: the initiative does not occur if the fact that the reallotment does not occur and the alienableness does not occur does not hold. sent3: if that both the unluckiness and the ulnarness happens is incorrect the fact that the iconicness does not occur is not wrong. sent4: the downmarketness happens if the sophisticating seamed does not occur. sent5: the fact that both the unluckiness and the ulnarness happens is not correct. sent6: the modulation occurs and the measuring happens if the iconicness does not occur. sent7: the reallotment occurs.
void -> assump1: Let's assume that the reallotment does not occur and the alienableness does not occur.; assump1 -> int1: the fact that the reallotment does not occur is true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the reallotment does not occur and the alienableness does not occur is wrong.; int3 & sent2 -> int4: the initiative does not occur.; sent3 & sent5 -> int5: the iconicness does not occur.; sent6 & int5 -> int6: the modulation occurs and the measured happens.; int6 -> int7: the measured happens.; int4 & int7 -> int8: the measured happens but the initiative does not occur.; int8 & sent1 -> int9: the draping time-switch happens.; void -> assump2: Let's assume that the disembowelment occurs.; int9 & assump2 -> int10: both the draping time-switch and the disembowelment occurs.;
$hypothesis$ = the downmarketness occurs if the disembowelment occurs. ; $context$ = sent1: if the measured but not the initiative happens then the draping time-switch occurs. sent2: the initiative does not occur if the fact that the reallotment does not occur and the alienableness does not occur does not hold. sent3: if that both the unluckiness and the ulnarness happens is incorrect the fact that the iconicness does not occur is not wrong. sent4: the downmarketness happens if the sophisticating seamed does not occur. sent5: the fact that both the unluckiness and the ulnarness happens is not correct. sent6: the modulation occurs and the measuring happens if the iconicness does not occur. sent7: the reallotment occurs. ; $proof$ = 
void -> assump1: Let's assume that the reallotment does not occur and the alienableness does not occur.; assump1 -> int1: the fact that the reallotment does not occur is true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the reallotment does not occur and the alienableness does not occur is wrong.; int3 & sent2 -> int4: the initiative does not occur.; sent3 & sent5 -> int5: the iconicness does not occur.; sent6 & int5 -> int6: the modulation occurs and the measured happens.; int6 -> int7: the measured happens.; int4 & int7 -> int8: the measured happens but the initiative does not occur.; int8 & sent1 -> int9: the draping time-switch happens.; void -> assump2: Let's assume that the disembowelment occurs.; int9 & assump2 -> int10: both the draping time-switch and the disembowelment occurs.; __UNKNOWN__