the exploration does not occur and/or the obtrusiveness does not occur.
sent1: the interlocking Yugoslav does not occur and/or the aftereffect occurs. sent2: if the interlocking Yugoslav does not occur or the aftereffect does not occur or both the green does not occur. sent3: the interlocking Yugoslav occurs and/or the aftereffect does not occur. sent4: the exploration or the non-obtrusiveness or both occurs. sent5: the interlocking Yugoslav does not occur. sent6: if the greenness does not occur but the exploration occurs the Serbian happens. sent7: the exploration does not occur and/or the obtrusiveness occurs. sent8: the jumbling draba happens if the Serbianness happens. sent9: that the iconolatry and the matrimony occurs does not hold. sent10: the matrimony occurs if the jumbling draba occurs.
sent5 -> int1: either the interlocking Yugoslav does not occur or the aftereffect does not occur or both.; int1 & sent2 -> int2: the green does not occur.; void -> assump1: Let's assume that the exploration happens.; int2 & assump1 -> int3: not the greening but the exploration occurs.; int3 & sent6 -> int4: the Serbianness happens.; int4 & sent8 -> int5: the jumbling draba happens.; int5 & sent10 -> int6: the matrimony occurs.;
$hypothesis$ = the exploration does not occur and/or the obtrusiveness does not occur. ; $context$ = sent1: the interlocking Yugoslav does not occur and/or the aftereffect occurs. sent2: if the interlocking Yugoslav does not occur or the aftereffect does not occur or both the green does not occur. sent3: the interlocking Yugoslav occurs and/or the aftereffect does not occur. sent4: the exploration or the non-obtrusiveness or both occurs. sent5: the interlocking Yugoslav does not occur. sent6: if the greenness does not occur but the exploration occurs the Serbian happens. sent7: the exploration does not occur and/or the obtrusiveness occurs. sent8: the jumbling draba happens if the Serbianness happens. sent9: that the iconolatry and the matrimony occurs does not hold. sent10: the matrimony occurs if the jumbling draba occurs. ; $proof$ = 
sent5 -> int1: either the interlocking Yugoslav does not occur or the aftereffect does not occur or both.; int1 & sent2 -> int2: the green does not occur.; void -> assump1: Let's assume that the exploration happens.; int2 & assump1 -> int3: not the greening but the exploration occurs.; int3 & sent6 -> int4: the Serbianness happens.; int4 & sent8 -> int5: the jumbling draba happens.; int5 & sent10 -> int6: the matrimony occurs.; __UNKNOWN__