the cirrus occurs.
sent1: if not the digestive but the asceticism occurs then the cirrus occurs. sent2: both the allowancing and the uricosuricness occurs. sent3: that not the noxiousness but the gape occurs is not right. sent4: if the underproduction happens the fact that the asceticism but not the copying msasa happens does not hold. sent5: that the glamorizing Montfort occurs and the penalty happens is not right. sent6: the fact that the hemalness does not occur hold if the copying bias happens and the nonpartisanness happens. sent7: that the allowance does not occur is prevented by that the australopithecineness does not occur but the inexpressibleness occurs. sent8: if the fact that the servileness happens and the dehumanization occurs does not hold then the servileness does not occur. sent9: the copying Ischia occurs. sent10: if the hemalness does not occur the digestive does not occur. sent11: that the servileness happens and the dehumanization occurs is wrong. sent12: if that the fact that the cirrus happens and the copying Ischia occurs is correct is false the fact that the cirrus does not occur hold. sent13: that the cirrus occurs and the copying Ischia happens is wrong if the nonpartisanness does not occur. sent14: that the follow-up does not occur and the Stalinist does not occur prevents that the copying Ischia occurs. sent15: if the fact that the follow-up does not occur and the Stalinistness does not occur is not correct the nonpartisanness occurs. sent16: both the copying bias and the underproduction happens.
void -> assump1: Let's assume that the follow-up does not occur and the Stalinistness does not occur.; sent14 & assump1 -> int1: the copying Ischia does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the follow-up does not occur and the Stalinistness does not occur is wrong.; int3 & sent15 -> int4: the nonpartisan happens.; sent16 -> int5: the copying bias occurs.; int4 & int5 -> int6: both the copying bias and the nonpartisanness occurs.; int6 & sent6 -> int7: that the hemalness does not occur is correct.; int7 & sent10 -> int8: the digestiveness does not occur.; sent8 & sent11 -> int9: the servileness does not occur.;
the cirrus does not occur.
$hypothesis$ = the cirrus occurs. ; $context$ = sent1: if not the digestive but the asceticism occurs then the cirrus occurs. sent2: both the allowancing and the uricosuricness occurs. sent3: that not the noxiousness but the gape occurs is not right. sent4: if the underproduction happens the fact that the asceticism but not the copying msasa happens does not hold. sent5: that the glamorizing Montfort occurs and the penalty happens is not right. sent6: the fact that the hemalness does not occur hold if the copying bias happens and the nonpartisanness happens. sent7: that the allowance does not occur is prevented by that the australopithecineness does not occur but the inexpressibleness occurs. sent8: if the fact that the servileness happens and the dehumanization occurs does not hold then the servileness does not occur. sent9: the copying Ischia occurs. sent10: if the hemalness does not occur the digestive does not occur. sent11: that the servileness happens and the dehumanization occurs is wrong. sent12: if that the fact that the cirrus happens and the copying Ischia occurs is correct is false the fact that the cirrus does not occur hold. sent13: that the cirrus occurs and the copying Ischia happens is wrong if the nonpartisanness does not occur. sent14: that the follow-up does not occur and the Stalinist does not occur prevents that the copying Ischia occurs. sent15: if the fact that the follow-up does not occur and the Stalinistness does not occur is not correct the nonpartisanness occurs. sent16: both the copying bias and the underproduction happens. ; $proof$ = 
void -> assump1: Let's assume that the follow-up does not occur and the Stalinistness does not occur.; sent14 & assump1 -> int1: the copying Ischia does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the follow-up does not occur and the Stalinistness does not occur is wrong.; int3 & sent15 -> int4: the nonpartisan happens.; sent16 -> int5: the copying bias occurs.; int4 & int5 -> int6: both the copying bias and the nonpartisanness occurs.; int6 & sent6 -> int7: that the hemalness does not occur is correct.; int7 & sent10 -> int8: the digestiveness does not occur.; sent8 & sent11 -> int9: the servileness does not occur.; __UNKNOWN__