the fact that the lullaby does not occur but the softball happens does not hold.
sent1: the sartorialness does not occur. sent2: if that both the territoriality and the lullaby happens is wrong then the lullaby does not occur. sent3: if that the densitometry happens is not false then the tinseling heterogeneity happens. sent4: the territoriality does not occur if not the lullaby but the softball happens. sent5: the fact that the tinseling heterogeneity does not occur if the fact that the incorporating spiritualization happens and the incorporating grading occurs does not hold is not incorrect. sent6: if the caterwaul does not occur then the indiscriminateness occurs. sent7: the indiscriminateness happens. sent8: that the densitometry does not occur results in that both the softball and the incorporating grading happens. sent9: the caterwaul does not occur. sent10: that the caterwaul does not occur causes that the densitometry and the indiscriminateness occurs. sent11: that the territoriality occurs and the lullaby happens is not true if the incorporating spiritualization does not occur. sent12: the softball occurs. sent13: the fact that both the incorporating spiritualization and the incorporating grading happens is incorrect if the territoriality does not occur. sent14: the muscularness and the liberation happens. sent15: the non-credibleness results in that not the incorporating spiritualization but the tinseling heterogeneity occurs.
void -> assump1: Let's assume that the lullaby does not occur but the softball occurs.; sent4 & assump1 -> int1: the territoriality does not occur.; int1 & sent13 -> int2: that the incorporating spiritualization happens and the incorporating grading happens is not right.; int2 & sent5 -> int3: the tinseling heterogeneity does not occur.; sent10 & sent9 -> int4: both the densitometry and the indiscriminateness occurs.; int4 -> int5: the densitometry occurs.; sent3 & int5 -> int6: the tinseling heterogeneity occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the lullaby does not occur but the softball occurs.
$hypothesis$ = the fact that the lullaby does not occur but the softball happens does not hold. ; $context$ = sent1: the sartorialness does not occur. sent2: if that both the territoriality and the lullaby happens is wrong then the lullaby does not occur. sent3: if that the densitometry happens is not false then the tinseling heterogeneity happens. sent4: the territoriality does not occur if not the lullaby but the softball happens. sent5: the fact that the tinseling heterogeneity does not occur if the fact that the incorporating spiritualization happens and the incorporating grading occurs does not hold is not incorrect. sent6: if the caterwaul does not occur then the indiscriminateness occurs. sent7: the indiscriminateness happens. sent8: that the densitometry does not occur results in that both the softball and the incorporating grading happens. sent9: the caterwaul does not occur. sent10: that the caterwaul does not occur causes that the densitometry and the indiscriminateness occurs. sent11: that the territoriality occurs and the lullaby happens is not true if the incorporating spiritualization does not occur. sent12: the softball occurs. sent13: the fact that both the incorporating spiritualization and the incorporating grading happens is incorrect if the territoriality does not occur. sent14: the muscularness and the liberation happens. sent15: the non-credibleness results in that not the incorporating spiritualization but the tinseling heterogeneity occurs. ; $proof$ = 
void -> assump1: Let's assume that the lullaby does not occur but the softball occurs.; sent4 & assump1 -> int1: the territoriality does not occur.; int1 & sent13 -> int2: that the incorporating spiritualization happens and the incorporating grading happens is not right.; int2 & sent5 -> int3: the tinseling heterogeneity does not occur.; sent10 & sent9 -> int4: both the densitometry and the indiscriminateness occurs.; int4 -> int5: the densitometry occurs.; sent3 & int5 -> int6: the tinseling heterogeneity occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__