both the milling and the peopling happens.
sent1: the quarantining overturn occurs and the take-up happens if the yelling does not occur. sent2: if that the Siouanness happens is not false then the mill occurs. sent3: that the broiling hawkbit does not occur is caused by that the yelling occurs and the take-up happens. sent4: the unportableness happens. sent5: the peopling occurs. sent6: the violableness happens. sent7: the fringe occurs. sent8: that the broiling hallucination occurs and the Malianness does not occur does not hold. sent9: if that the broiling hallucination does not occur is not wrong then the yelling happens. sent10: the yelling happens if that the broiling hallucination but not the Malian occurs is false. sent11: the cornering does not occur. sent12: that the quarantining parhelion and the non-cyanobacterialness happens is false. sent13: the broiling hawkbit happens if the imprudentness happens. sent14: that the imprudentness happens is not incorrect.
sent10 & sent8 -> int1: that the yelling occurs is not wrong.; void -> assump1: Let's assume that the take-up occurs.; int1 & assump1 -> int2: the yelling and the take-up occurs.; int2 & sent3 -> int3: the broiling hawkbit does not occur.; sent13 & sent14 -> int4: the broiling hawkbit occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the take-up does not occur.; int6 & sent11 -> int7: the take-up does not occur and the corner does not occur.;
the quarantining overturn occurs.
$hypothesis$ = both the milling and the peopling happens. ; $context$ = sent1: the quarantining overturn occurs and the take-up happens if the yelling does not occur. sent2: if that the Siouanness happens is not false then the mill occurs. sent3: that the broiling hawkbit does not occur is caused by that the yelling occurs and the take-up happens. sent4: the unportableness happens. sent5: the peopling occurs. sent6: the violableness happens. sent7: the fringe occurs. sent8: that the broiling hallucination occurs and the Malianness does not occur does not hold. sent9: if that the broiling hallucination does not occur is not wrong then the yelling happens. sent10: the yelling happens if that the broiling hallucination but not the Malian occurs is false. sent11: the cornering does not occur. sent12: that the quarantining parhelion and the non-cyanobacterialness happens is false. sent13: the broiling hawkbit happens if the imprudentness happens. sent14: that the imprudentness happens is not incorrect. ; $proof$ = 
sent10 & sent8 -> int1: that the yelling occurs is not wrong.; void -> assump1: Let's assume that the take-up occurs.; int1 & assump1 -> int2: the yelling and the take-up occurs.; int2 & sent3 -> int3: the broiling hawkbit does not occur.; sent13 & sent14 -> int4: the broiling hawkbit occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the take-up does not occur.; int6 & sent11 -> int7: the take-up does not occur and the corner does not occur.; __UNKNOWN__