that the broiling afterlife does not occur and the moonshining does not occur is brought about by that the way occurs.
sent1: not the shabbiness but the screening occurs. sent2: the interaction does not occur and the growl does not occur. sent3: the ballup does not occur and the quarantining ecclesiology occurs. sent4: the nontechnicalness occurs and/or the Romaniness occurs. sent5: the growl does not occur but the aggrandizement happens. sent6: that not the shabbiness but the glazing occurs brings about that the broiling afterlife does not occur. sent7: if the constipation occurs then that the archivalness happens is correct. sent8: the non-bisontineness and the scrape occurs. sent9: the polling happens if the counterclaiming occurs. sent10: that the conflicting occurs prevents the non-archivalness. sent11: the conflict and/or the constipation occurs. sent12: the moonshining does not occur if the fact that both the archivalness and the way happens is true. sent13: both the Siouanness and the scrum happens if that the conflict does not occur is true. sent14: not the indenting but the breeze happens. sent15: that the glazing does not occur is prevented by that the nontechnicalness happens.
sent11 & sent10 & sent7 -> int1: the archivalness occurs.; void -> assump1: Let's assume that the way happens.; int1 & assump1 -> int2: both the archivalness and the way happens.; int2 & sent12 -> int3: the moonshine does not occur.; sent1 -> int4: the shabbiness does not occur.;
that the Siouanness occurs and the scrum occurs is not false.
$hypothesis$ = that the broiling afterlife does not occur and the moonshining does not occur is brought about by that the way occurs. ; $context$ = sent1: not the shabbiness but the screening occurs. sent2: the interaction does not occur and the growl does not occur. sent3: the ballup does not occur and the quarantining ecclesiology occurs. sent4: the nontechnicalness occurs and/or the Romaniness occurs. sent5: the growl does not occur but the aggrandizement happens. sent6: that not the shabbiness but the glazing occurs brings about that the broiling afterlife does not occur. sent7: if the constipation occurs then that the archivalness happens is correct. sent8: the non-bisontineness and the scrape occurs. sent9: the polling happens if the counterclaiming occurs. sent10: that the conflicting occurs prevents the non-archivalness. sent11: the conflict and/or the constipation occurs. sent12: the moonshining does not occur if the fact that both the archivalness and the way happens is true. sent13: both the Siouanness and the scrum happens if that the conflict does not occur is true. sent14: not the indenting but the breeze happens. sent15: that the glazing does not occur is prevented by that the nontechnicalness happens. ; $proof$ = 
sent11 & sent10 & sent7 -> int1: the archivalness occurs.; void -> assump1: Let's assume that the way happens.; int1 & assump1 -> int2: both the archivalness and the way happens.; int2 & sent12 -> int3: the moonshine does not occur.; sent1 -> int4: the shabbiness does not occur.; __UNKNOWN__