both the holding and the framing happens.
sent1: the local happens. sent2: the virologicalness does not occur. sent3: the appetitiveness does not occur. sent4: that the superscription does not occur is caused by that the flapping does not occur and the intensiveness does not occur. sent5: the fact that the hold and the frame happens is not right if the intensiveness does not occur. sent6: if the fact that the intensiveness happens and the flap does not occur is wrong then the miscibleness does not occur. sent7: the framing happens and the conciliatoriness happens if the virologicalness does not occur. sent8: if the entering weeder does not occur then the forgiveness happens. sent9: the holding happens if the miscibleness does not occur. sent10: the entering prebendary and the quenching occurs. sent11: if the decortication does not occur then the depressurizing grub happens. sent12: the Hugoesqueness does not occur if that the fact that the plagioclasticness happens but the lithophyticness does not occur is right is false. sent13: if the incurvating ETF does not occur the fact that the crediting showgirl does not occur hold. sent14: the flap happens.
void -> assump1: Let's assume that the intensiveness happens but the flap does not occur.; assump1 -> int1: that the flap does not occur hold.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the intensiveness but not the flapping occurs is not correct.; int3 & sent6 -> int4: the miscibleness does not occur.; int4 & sent9 -> int5: the hold occurs.; sent7 & sent2 -> int6: the frame occurs and the conciliatoriness occurs.; int6 -> int7: the framing occurs.; int5 & int7 -> hypothesis;
the fact that the hold happens and the frame happens does not hold.
$hypothesis$ = both the holding and the framing happens. ; $context$ = sent1: the local happens. sent2: the virologicalness does not occur. sent3: the appetitiveness does not occur. sent4: that the superscription does not occur is caused by that the flapping does not occur and the intensiveness does not occur. sent5: the fact that the hold and the frame happens is not right if the intensiveness does not occur. sent6: if the fact that the intensiveness happens and the flap does not occur is wrong then the miscibleness does not occur. sent7: the framing happens and the conciliatoriness happens if the virologicalness does not occur. sent8: if the entering weeder does not occur then the forgiveness happens. sent9: the holding happens if the miscibleness does not occur. sent10: the entering prebendary and the quenching occurs. sent11: if the decortication does not occur then the depressurizing grub happens. sent12: the Hugoesqueness does not occur if that the fact that the plagioclasticness happens but the lithophyticness does not occur is right is false. sent13: if the incurvating ETF does not occur the fact that the crediting showgirl does not occur hold. sent14: the flap happens. ; $proof$ = 
void -> assump1: Let's assume that the intensiveness happens but the flap does not occur.; assump1 -> int1: that the flap does not occur hold.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the intensiveness but not the flapping occurs is not correct.; int3 & sent6 -> int4: the miscibleness does not occur.; int4 & sent9 -> int5: the hold occurs.; sent7 & sent2 -> int6: the frame occurs and the conciliatoriness occurs.; int6 -> int7: the framing occurs.; int5 & int7 -> hypothesis; __PROVED__