if the deposition happens then the discard occurs.
sent1: the huing tunic does not occur. sent2: if the Paleozoicness does not occur then the fact that the discarding and the anemography happens is wrong. sent3: the deciding does not occur and the huing Megillah does not occur if the cephalometry happens. sent4: that the deposition happens prevents that the immunohistochemistry does not occur. sent5: the passing MA happens if the fact that the deposition does not occur and the passing MA does not occur is false. sent6: if the huing Megillah does not occur the conduction does not occur but the eremiticness occurs. sent7: the sunray happens and the punishing crouton occurs if the huing tunic does not occur. sent8: the huing da'wah happens if the huing treason happens. sent9: if the sunray happens that that the paw does not occur and the verbalness does not occur is right is false. sent10: the chafe occurs. sent11: if the quintupling does not occur and the conduction does not occur the acroscopicness does not occur. sent12: the harlequining hellbender happens and the cephalometry happens if the counterespionage does not occur. sent13: the surrendering occurs. sent14: if that the paw does not occur and the verbalness does not occur does not hold the quintupling does not occur. sent15: if the fact that the non-acroscopicness and/or the non-sporadicness occurs hold then the Paleozoicness does not occur. sent16: the fact that if the immunohistochemistry does not occur the fact that the fact that the deposition does not occur and the passing MA does not occur is not right is not false is not incorrect. sent17: the counterespionage does not occur. sent18: that the immunohistochemistry happens results in that the discard happens.
void -> assump1: Let's assume that the deposition occurs.; sent4 & assump1 -> int1: the immunohistochemistry occurs.; sent18 & int1 -> int2: the discarding happens.; [assump1] & int2 -> hypothesis;
the passing MA occurs.
sent7 & sent1 -> int3: both the sunray and the punishing crouton occurs.; int3 -> int4: the sunray occurs.; sent9 & int4 -> int5: the fact that the paw does not occur and the verbalness does not occur is not true.; sent14 & int5 -> int6: that the quintupling does not occur is not incorrect.; sent12 & sent17 -> int7: both the harlequining hellbender and the cephalometry happens.; int7 -> int8: the cephalometry occurs.; sent3 & int8 -> int9: the deciding does not occur and the huing Megillah does not occur.; int9 -> int10: the huing Megillah does not occur.; sent6 & int10 -> int11: not the conduction but the eremiticness occurs.; int11 -> int12: the conduction does not occur.; int6 & int12 -> int13: the quintupling does not occur and the conduction does not occur.; sent11 & int13 -> int14: the acroscopicness does not occur.; int14 -> int15: the acroscopicness does not occur and/or the sporadicness does not occur.; sent15 & int15 -> int16: the fact that the Paleozoicness does not occur hold.; sent2 & int16 -> int17: that the discard happens and the anemography happens does not hold.;
$hypothesis$ = if the deposition happens then the discard occurs. ; $context$ = sent1: the huing tunic does not occur. sent2: if the Paleozoicness does not occur then the fact that the discarding and the anemography happens is wrong. sent3: the deciding does not occur and the huing Megillah does not occur if the cephalometry happens. sent4: that the deposition happens prevents that the immunohistochemistry does not occur. sent5: the passing MA happens if the fact that the deposition does not occur and the passing MA does not occur is false. sent6: if the huing Megillah does not occur the conduction does not occur but the eremiticness occurs. sent7: the sunray happens and the punishing crouton occurs if the huing tunic does not occur. sent8: the huing da'wah happens if the huing treason happens. sent9: if the sunray happens that that the paw does not occur and the verbalness does not occur is right is false. sent10: the chafe occurs. sent11: if the quintupling does not occur and the conduction does not occur the acroscopicness does not occur. sent12: the harlequining hellbender happens and the cephalometry happens if the counterespionage does not occur. sent13: the surrendering occurs. sent14: if that the paw does not occur and the verbalness does not occur does not hold the quintupling does not occur. sent15: if the fact that the non-acroscopicness and/or the non-sporadicness occurs hold then the Paleozoicness does not occur. sent16: the fact that if the immunohistochemistry does not occur the fact that the fact that the deposition does not occur and the passing MA does not occur is not right is not false is not incorrect. sent17: the counterespionage does not occur. sent18: that the immunohistochemistry happens results in that the discard happens. ; $proof$ = 
void -> assump1: Let's assume that the deposition occurs.; sent4 & assump1 -> int1: the immunohistochemistry occurs.; sent18 & int1 -> int2: the discarding happens.; [assump1] & int2 -> hypothesis; __PROVED__