that the bonfire but not the tympaniticness happens is brought about by that the transeuntness happens.
sent1: the hurtling ashtray yields that the meningealness but not the fabianness occurs. sent2: the omissiveness does not occur if that the bonfire does not occur and the transeuntness does not occur is not true. sent3: that the soul and the non-virtuousness happens is brought about by that the clickety-clack happens. sent4: the mist does not occur. sent5: that the bonfire does not occur prevents the transeuntness. sent6: the mechanicalness does not occur and the clenching does not occur. sent7: that the hurtling bribery happens yields that the clickety-clack but not the hurtling Masorah occurs. sent8: the simulation does not occur. sent9: the follicularness happens. sent10: the non-transeuntness is prevented by that the bonfire does not occur. sent11: that the lathering redtail happens hold. sent12: the fact that the lathering Devon does not occur is true. sent13: the tuberculateness does not occur.
void -> assump1: Let's assume that the bonfire does not occur.; sent5 & assump1 -> int1: that the transeuntness does not occur is true.; void -> assump2: Let's assume that the transeuntness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bonfire happens.;
the omissiveness does not occur.
$hypothesis$ = that the bonfire but not the tympaniticness happens is brought about by that the transeuntness happens. ; $context$ = sent1: the hurtling ashtray yields that the meningealness but not the fabianness occurs. sent2: the omissiveness does not occur if that the bonfire does not occur and the transeuntness does not occur is not true. sent3: that the soul and the non-virtuousness happens is brought about by that the clickety-clack happens. sent4: the mist does not occur. sent5: that the bonfire does not occur prevents the transeuntness. sent6: the mechanicalness does not occur and the clenching does not occur. sent7: that the hurtling bribery happens yields that the clickety-clack but not the hurtling Masorah occurs. sent8: the simulation does not occur. sent9: the follicularness happens. sent10: the non-transeuntness is prevented by that the bonfire does not occur. sent11: that the lathering redtail happens hold. sent12: the fact that the lathering Devon does not occur is true. sent13: the tuberculateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the bonfire does not occur.; sent5 & assump1 -> int1: that the transeuntness does not occur is true.; void -> assump2: Let's assume that the transeuntness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bonfire happens.; __UNKNOWN__