the hovering happens.
sent1: if the expiating happens the traumaticness occurs. sent2: if the contemptuousness occurs and the boiling occurs the business does not occur. sent3: the tailoring leads to that the ichorousness happens. sent4: the hemiparasiticness does not occur. sent5: the fact that the abaxialness happens and the husk does not occur is not true. sent6: the aquatint occurs. sent7: the fact that the radiophotography but not the expiating happens does not hold. sent8: the expiating occurs if that the radiophotography but not the expiating occurs is incorrect. sent9: the satisfactoriness happens. sent10: that the excursion does not occur results in the aquatinting. sent11: the zeroing occurs. sent12: the traumaticness does not occur if the excursion and the vitiation happens. sent13: that the radiophotography and the expiating happens is not right. sent14: if the excursion does not occur then the aquatinting and the hovering occurs. sent15: the vitiation occurs.
void -> assump1: Let's assume that that the excursion occurs is not incorrect.; assump1 & sent15 -> int1: the excursion and the vitiation happens.; int1 & sent12 -> int2: the fact that the traumaticness does not occur is right.; sent8 & sent7 -> int3: the expiating happens.; sent1 & int3 -> int4: the traumaticness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the excursion does not occur.; int6 & sent14 -> int7: the aquatinting occurs and the hovering happens.; int7 -> hypothesis;
$hypothesis$ = the hovering happens. ; $context$ = sent1: if the expiating happens the traumaticness occurs. sent2: if the contemptuousness occurs and the boiling occurs the business does not occur. sent3: the tailoring leads to that the ichorousness happens. sent4: the hemiparasiticness does not occur. sent5: the fact that the abaxialness happens and the husk does not occur is not true. sent6: the aquatint occurs. sent7: the fact that the radiophotography but not the expiating happens does not hold. sent8: the expiating occurs if that the radiophotography but not the expiating occurs is incorrect. sent9: the satisfactoriness happens. sent10: that the excursion does not occur results in the aquatinting. sent11: the zeroing occurs. sent12: the traumaticness does not occur if the excursion and the vitiation happens. sent13: that the radiophotography and the expiating happens is not right. sent14: if the excursion does not occur then the aquatinting and the hovering occurs. sent15: the vitiation occurs. ; $proof$ = 
void -> assump1: Let's assume that that the excursion occurs is not incorrect.; assump1 & sent15 -> int1: the excursion and the vitiation happens.; int1 & sent12 -> int2: the fact that the traumaticness does not occur is right.; sent8 & sent7 -> int3: the expiating happens.; sent1 & int3 -> int4: the traumaticness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the excursion does not occur.; int6 & sent14 -> int7: the aquatinting occurs and the hovering happens.; int7 -> hypothesis; __PROVED__