the bibliolatry happens and the elfinness happens.
sent1: the blacklisting shelf occurs and/or the careering does not occur. sent2: the bibliolatry occurs if the appreciating happens. sent3: if the fact that the unsystematicness happens is right then the telluricness does not occur. sent4: that the staving inactiveness happens or that the unsystematicness occurs or both prevents the telluricness. sent5: that the completedness does not occur but the backing occurs does not hold if the impinging knockout happens. sent6: the telluricness but not the perambulating occurs. sent7: if the blacklisting shelf happens then the appreciating occurs. sent8: the impinging knockout happens. sent9: if the fact that not the completing but the backing happens is not true then the backing does not occur. sent10: the elfinness is caused by that the staving inactiveness does not occur and the backing does not occur. sent11: the fact that the appreciating occurs hold if the careering does not occur.
void -> assump1: Let's assume that the staving inactiveness happens.; assump1 -> int1: the staving inactiveness or the unsystematicness or both occurs.; int1 & sent4 -> int2: the telluricness does not occur.; sent6 -> int3: the telluricness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the staving inactiveness does not occur.; sent5 & sent8 -> int6: that the non-completedness and the backingness occurs is not true.; sent9 & int6 -> int7: the backing does not occur.; int5 & int7 -> int8: the staving inactiveness does not occur and the backingness does not occur.; int8 & sent10 -> int9: the elfinness occurs.; sent1 & sent7 & sent11 -> int10: the appreciating occurs.; sent2 & int10 -> int11: the bibliolatry happens.; int9 & int11 -> hypothesis;
the fact that both the bibliolatry and the elfinness occurs is not correct.
 -> hypothesis;
$hypothesis$ = the bibliolatry happens and the elfinness happens. ; $context$ = sent1: the blacklisting shelf occurs and/or the careering does not occur. sent2: the bibliolatry occurs if the appreciating happens. sent3: if the fact that the unsystematicness happens is right then the telluricness does not occur. sent4: that the staving inactiveness happens or that the unsystematicness occurs or both prevents the telluricness. sent5: that the completedness does not occur but the backing occurs does not hold if the impinging knockout happens. sent6: the telluricness but not the perambulating occurs. sent7: if the blacklisting shelf happens then the appreciating occurs. sent8: the impinging knockout happens. sent9: if the fact that not the completing but the backing happens is not true then the backing does not occur. sent10: the elfinness is caused by that the staving inactiveness does not occur and the backing does not occur. sent11: the fact that the appreciating occurs hold if the careering does not occur. ; $proof$ = 
void -> assump1: Let's assume that the staving inactiveness happens.; assump1 -> int1: the staving inactiveness or the unsystematicness or both occurs.; int1 & sent4 -> int2: the telluricness does not occur.; sent6 -> int3: the telluricness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the staving inactiveness does not occur.; sent5 & sent8 -> int6: that the non-completedness and the backingness occurs is not true.; sent9 & int6 -> int7: the backing does not occur.; int5 & int7 -> int8: the staving inactiveness does not occur and the backingness does not occur.; int8 & sent10 -> int9: the elfinness occurs.; sent1 & sent7 & sent11 -> int10: the appreciating occurs.; sent2 & int10 -> int11: the bibliolatry happens.; int9 & int11 -> hypothesis; __PROVED__