the unlivableness occurs.
sent1: that the nonindulgentness does not occur and the reassignment happens brings about that the unlivableness occurs. sent2: if the hearts occurs the unlivableness does not occur but the dissilience happens. sent3: the non-apologeticness results in that both the reassignment and the bisontineness happens. sent4: the iliacness is prevented by that both the arousing and the non-innerness occurs. sent5: the apologeticness does not occur. sent6: the fact that the dissilience but not the hearts occurs does not hold. sent7: the malformation does not occur. sent8: if the arousing does not occur but the innerness happens then that the iliacness does not occur hold. sent9: that that the reassignment occurs and the apologeticness occurs is incorrect is not false if the malformation does not occur. sent10: the iliacness does not occur if the arousing does not occur and the innerness does not occur. sent11: that the hearts does not occur and the bisontineness does not occur is wrong. sent12: that the iliacness occurs is not incorrect if that the dissilience occurs and the hearts does not occur does not hold. sent13: the gathering occurs and the iliacness happens if the reassignment does not occur. sent14: the fact that the arousing does not occur and the innerness happens is false.
void -> assump1: Let's assume that the arousing does not occur and the innerness does not occur.; sent10 & assump1 -> int1: the iliacness does not occur.; sent12 & sent6 -> int2: the iliacness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the arousing does not occur and the innerness does not occur is incorrect.; sent3 & sent5 -> int5: both the reassignment and the bisontineness happens.; int5 -> int6: the reassignment occurs.;
the gathering happens and the anticipating negligee happens.
sent9 & sent7 -> int7: that the reassignment and the apologeticness occurs is not true.;
$hypothesis$ = the unlivableness occurs. ; $context$ = sent1: that the nonindulgentness does not occur and the reassignment happens brings about that the unlivableness occurs. sent2: if the hearts occurs the unlivableness does not occur but the dissilience happens. sent3: the non-apologeticness results in that both the reassignment and the bisontineness happens. sent4: the iliacness is prevented by that both the arousing and the non-innerness occurs. sent5: the apologeticness does not occur. sent6: the fact that the dissilience but not the hearts occurs does not hold. sent7: the malformation does not occur. sent8: if the arousing does not occur but the innerness happens then that the iliacness does not occur hold. sent9: that that the reassignment occurs and the apologeticness occurs is incorrect is not false if the malformation does not occur. sent10: the iliacness does not occur if the arousing does not occur and the innerness does not occur. sent11: that the hearts does not occur and the bisontineness does not occur is wrong. sent12: that the iliacness occurs is not incorrect if that the dissilience occurs and the hearts does not occur does not hold. sent13: the gathering occurs and the iliacness happens if the reassignment does not occur. sent14: the fact that the arousing does not occur and the innerness happens is false. ; $proof$ = 
void -> assump1: Let's assume that the arousing does not occur and the innerness does not occur.; sent10 & assump1 -> int1: the iliacness does not occur.; sent12 & sent6 -> int2: the iliacness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the arousing does not occur and the innerness does not occur is incorrect.; sent3 & sent5 -> int5: both the reassignment and the bisontineness happens.; int5 -> int6: the reassignment occurs.; __UNKNOWN__