if the propping Depression does not occur the horse-drawnness occurs and the propping feathered happens.
sent1: the fact that not the besieging Northrop but the hairiness happens is wrong if the large happens. sent2: if the fact that the hairiness does not occur is not wrong the propping feathered and the bismuthicness happens. sent3: the violation occurs. sent4: the fact that the besieging RTLT occurs is right. sent5: the largeness occurs. sent6: if that the propping Depression happens is not incorrect then the accounting and the horse-drawnness occurs. sent7: the misrepresentation occurs and the granulomatousness occurs. sent8: the accounting occurs. sent9: the hairiness does not occur. sent10: that both the granulomatousness and the pretentiousness occurs is brought about by that the propping hatemonger does not occur. sent11: both the besieging hunted and the hamming happens if the mooring Lear occurs. sent12: the propping fugleman does not occur. sent13: the buffoonery occurs.
void -> assump1: Let's assume that the propping Depression does not occur.; sent2 & sent9 -> int1: the propping feathered and the bismuthicness happens.; int1 -> int2: that the propping feathered happens is not false.;
the vacationing and the migrationalness happens.
sent1 & sent5 -> int3: the fact that the besieging Northrop does not occur but the hairiness occurs is not right.;
$hypothesis$ = if the propping Depression does not occur the horse-drawnness occurs and the propping feathered happens. ; $context$ = sent1: the fact that not the besieging Northrop but the hairiness happens is wrong if the large happens. sent2: if the fact that the hairiness does not occur is not wrong the propping feathered and the bismuthicness happens. sent3: the violation occurs. sent4: the fact that the besieging RTLT occurs is right. sent5: the largeness occurs. sent6: if that the propping Depression happens is not incorrect then the accounting and the horse-drawnness occurs. sent7: the misrepresentation occurs and the granulomatousness occurs. sent8: the accounting occurs. sent9: the hairiness does not occur. sent10: that both the granulomatousness and the pretentiousness occurs is brought about by that the propping hatemonger does not occur. sent11: both the besieging hunted and the hamming happens if the mooring Lear occurs. sent12: the propping fugleman does not occur. sent13: the buffoonery occurs. ; $proof$ = 
void -> assump1: Let's assume that the propping Depression does not occur.; sent2 & sent9 -> int1: the propping feathered and the bismuthicness happens.; int1 -> int2: that the propping feathered happens is not false.; __UNKNOWN__