the plain triggers that the barking souffle does not occur.
sent1: the festival occurs if that the sip does not occur but the facilitating praetor happens is false. sent2: if the bypassing broadcloth happens the ungrammaticalness does not occur. sent3: if the potshot does not occur or the bypassing ichneumon does not occur or both then the ungrammaticalness occurs. sent4: the lockage occurs. sent5: if the aerialness does not occur the bypassing broadcloth happens or the Calvinistness occurs or both. sent6: the fact that the sipping does not occur and the facilitating praetor happens does not hold if the plainness happens. sent7: the ungrammaticalness does not occur if the Calvinist occurs. sent8: if the potshot does not occur the ungrammaticalness happens. sent9: the aerialness does not occur if that the decrepitation and the aerialness occurs does not hold. sent10: that both the sipping and the facilitating praetor happens does not hold. sent11: the fact that the fact that the decrepitation and the aerial occurs is wrong hold.
void -> assump1: Let's assume that the plain occurs.; sent6 & assump1 -> int1: that not the sipping but the facilitating praetor occurs does not hold.; int1 & sent1 -> int2: the festival occurs.; void -> assump2: Let's assume that the barking souffle happens.; int2 & assump2 -> int3: both the festival and the barking souffle happens.; sent9 & sent11 -> int4: the aerialness does not occur.; sent5 & int4 -> int5: the bypassing broadcloth and/or the Calvinistness happens.; int5 & sent2 & sent7 -> int6: the fact that the ungrammaticalness does not occur hold.;
$hypothesis$ = the plain triggers that the barking souffle does not occur. ; $context$ = sent1: the festival occurs if that the sip does not occur but the facilitating praetor happens is false. sent2: if the bypassing broadcloth happens the ungrammaticalness does not occur. sent3: if the potshot does not occur or the bypassing ichneumon does not occur or both then the ungrammaticalness occurs. sent4: the lockage occurs. sent5: if the aerialness does not occur the bypassing broadcloth happens or the Calvinistness occurs or both. sent6: the fact that the sipping does not occur and the facilitating praetor happens does not hold if the plainness happens. sent7: the ungrammaticalness does not occur if the Calvinist occurs. sent8: if the potshot does not occur the ungrammaticalness happens. sent9: the aerialness does not occur if that the decrepitation and the aerialness occurs does not hold. sent10: that both the sipping and the facilitating praetor happens does not hold. sent11: the fact that the fact that the decrepitation and the aerial occurs is wrong hold. ; $proof$ = 
void -> assump1: Let's assume that the plain occurs.; sent6 & assump1 -> int1: that not the sipping but the facilitating praetor occurs does not hold.; int1 & sent1 -> int2: the festival occurs.; void -> assump2: Let's assume that the barking souffle happens.; int2 & assump2 -> int3: both the festival and the barking souffle happens.; sent9 & sent11 -> int4: the aerialness does not occur.; sent5 & int4 -> int5: the bypassing broadcloth and/or the Calvinistness happens.; int5 & sent2 & sent7 -> int6: the fact that the ungrammaticalness does not occur hold.; __UNKNOWN__