the persisting happens.
sent1: if that the transaminating bigot occurs but the transaminating rudderfish does not occur is incorrect the smut does not occur. sent2: that the persisting does not occur is prevented by that the beautifulness does not occur and the smutting does not occur. sent3: that the beautifulness does not occur hold if the transaminating Karok occurs. sent4: the lumbering does not occur if the victimization happens. sent5: the fact that the transaminating bigot but not the transaminating rudderfish happens is false. sent6: the lumbering occurs. sent7: the transaminating Karok happens if that the palatoglossalness and the non-philharmonicness happens is not true.
void -> assump1: Let's assume that the victimization happens.; sent4 & assump1 -> int1: the lumbering does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the victimization does not occur.; sent1 & sent5 -> int4: the smut does not occur.;
$hypothesis$ = the persisting happens. ; $context$ = sent1: if that the transaminating bigot occurs but the transaminating rudderfish does not occur is incorrect the smut does not occur. sent2: that the persisting does not occur is prevented by that the beautifulness does not occur and the smutting does not occur. sent3: that the beautifulness does not occur hold if the transaminating Karok occurs. sent4: the lumbering does not occur if the victimization happens. sent5: the fact that the transaminating bigot but not the transaminating rudderfish happens is false. sent6: the lumbering occurs. sent7: the transaminating Karok happens if that the palatoglossalness and the non-philharmonicness happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the victimization happens.; sent4 & assump1 -> int1: the lumbering does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the victimization does not occur.; sent1 & sent5 -> int4: the smut does not occur.; __UNKNOWN__