the looting angelus happens.
sent1: the fact that both the ossiferousness and the hopscotch occurs does not hold. sent2: if the fact that the non-ossiferousness and the hopscotch happens is wrong the populating telegraphese does not occur. sent3: if the populating telegraphese occurs and the looting angelus occurs then the labial does not occur. sent4: the fact that not the flooding but the cycle happens does not hold. sent5: if the fact that the reminiscing occurs and the tubercularness occurs does not hold the tubercularness does not occur. sent6: that the populating telegraphese happens is triggered by that the beautification occurs. sent7: the populating Callistephus occurs and/or the casting gather does not occur if the tubercularness does not occur. sent8: the beautification occurs.
void -> assump1: Let's assume that that both the non-ossiferousness and the hopscotch occurs is incorrect.; sent2 & assump1 -> int1: the populating telegraphese does not occur.; sent6 & sent8 -> int2: the populating telegraphese happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the ossiferousness but the hopscotch occurs.; int4 -> int5: that the hopscotch occurs is not false.;
the labial does not occur.
$hypothesis$ = the looting angelus happens. ; $context$ = sent1: the fact that both the ossiferousness and the hopscotch occurs does not hold. sent2: if the fact that the non-ossiferousness and the hopscotch happens is wrong the populating telegraphese does not occur. sent3: if the populating telegraphese occurs and the looting angelus occurs then the labial does not occur. sent4: the fact that not the flooding but the cycle happens does not hold. sent5: if the fact that the reminiscing occurs and the tubercularness occurs does not hold the tubercularness does not occur. sent6: that the populating telegraphese happens is triggered by that the beautification occurs. sent7: the populating Callistephus occurs and/or the casting gather does not occur if the tubercularness does not occur. sent8: the beautification occurs. ; $proof$ = 
void -> assump1: Let's assume that that both the non-ossiferousness and the hopscotch occurs is incorrect.; sent2 & assump1 -> int1: the populating telegraphese does not occur.; sent6 & sent8 -> int2: the populating telegraphese happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the ossiferousness but the hopscotch occurs.; int4 -> int5: that the hopscotch occurs is not false.; __UNKNOWN__