if that the deletion happens is true the philhellenicness does not occur and the sensibleness does not occur.
sent1: if the staticness does not occur the requiescat occurs. sent2: the bumbling extremism does not occur. sent3: the permitting bite happens. sent4: the barnburner happens and the promotion does not occur. sent5: the stigmatizing nominalism happens. sent6: the deletion does not occur if the stigmatizing nominalism occurs and the philhellenicness happens. sent7: both the booting monsoon and the non-indefeasibleness occurs if the sepaloidness does not occur. sent8: that the hive does not occur leads to that the stigmatizing glen and the insensibleness happens. sent9: the static does not occur. sent10: if the fact that the static does not occur is correct the requiescat occurs and the hiving does not occur.
void -> assump2: Let's assume that the philhellenicness happens.; sent5 & assump2 -> int1: the stigmatizing nominalism happens and the philhellenicness happens.; int1 & sent6 -> int2: the deletion does not occur.; void -> assump1: Let's assume that the deletion happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the philhellenicness does not occur.; sent10 & sent9 -> int5: that the requiescat occurs and the hive does not occur hold.; int5 -> int6: the hive does not occur.; sent8 & int6 -> int7: both the stigmatizing glen and the insensibleness happens.; int7 -> int8: the sensibleness does not occur.; int4 & int8 -> int9: the philhellenicness does not occur and the sensibleness does not occur.; [assump1] & int9 -> hypothesis;
$hypothesis$ = if that the deletion happens is true the philhellenicness does not occur and the sensibleness does not occur. ; $context$ = sent1: if the staticness does not occur the requiescat occurs. sent2: the bumbling extremism does not occur. sent3: the permitting bite happens. sent4: the barnburner happens and the promotion does not occur. sent5: the stigmatizing nominalism happens. sent6: the deletion does not occur if the stigmatizing nominalism occurs and the philhellenicness happens. sent7: both the booting monsoon and the non-indefeasibleness occurs if the sepaloidness does not occur. sent8: that the hive does not occur leads to that the stigmatizing glen and the insensibleness happens. sent9: the static does not occur. sent10: if the fact that the static does not occur is correct the requiescat occurs and the hiving does not occur. ; $proof$ = 
void -> assump2: Let's assume that the philhellenicness happens.; sent5 & assump2 -> int1: the stigmatizing nominalism happens and the philhellenicness happens.; int1 & sent6 -> int2: the deletion does not occur.; void -> assump1: Let's assume that the deletion happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the philhellenicness does not occur.; sent10 & sent9 -> int5: that the requiescat occurs and the hive does not occur hold.; int5 -> int6: the hive does not occur.; sent8 & int6 -> int7: both the stigmatizing glen and the insensibleness happens.; int7 -> int8: the sensibleness does not occur.; int4 & int8 -> int9: the philhellenicness does not occur and the sensibleness does not occur.; [assump1] & int9 -> hypothesis; __PROVED__