the hurling and the publicness occurs.
sent1: if the ogling Chamaemelum does not occur not the knit but the wrack occurs. sent2: the straight-arm happens but the phosphorescence does not occur if the ordinariness does not occur. sent3: that the ballup does not occur and/or the dogtrot happens is not right. sent4: if the foiling does not occur then that the ogling Chamaemelum does not occur but the arthroscopy happens does not hold. sent5: the hurling occurs if the wrack happens. sent6: the subtilizing extravagance occurs. sent7: if not the hurling but the knitting occurs the fact that the wrack does not occur is correct. sent8: that the straight-arm does not occur is triggered by that the ogling Chamaemelum occurs and the foiling happens. sent9: the phosphorescence does not occur. sent10: that the phosphorescence occurs and the ordinary occurs is triggered by that the ballup does not occur. sent11: the foil occurs. sent12: the ordinariness does not occur. sent13: the public does not occur if the phosphorescence occurs. sent14: if the fact that the ballup does not occur and/or the dogtrot occurs is wrong then the public happens. sent15: the fact that the arthroscopy does not occur is right if the fact that not the ogling Chamaemelum but the arthroscopy happens is not right.
void -> assump1: Let's assume that the ogling Chamaemelum happens.; assump1 & sent11 -> int1: both the ogling Chamaemelum and the foiling happens.; int1 & sent8 -> int2: the straight-arm does not occur.; sent2 & sent12 -> int3: the straight-arm but not the phosphorescence occurs.; int3 -> int4: the straight-arm occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ogling Chamaemelum does not occur.; int6 & sent1 -> int7: not the knitting but the wrack happens.; int7 -> int8: the wrack happens.; int8 & sent5 -> int9: the hurling occurs.; sent14 & sent3 -> int10: the public occurs.; int9 & int10 -> hypothesis;
the fact that both the hurling and the publicness happens does not hold.
 -> hypothesis;
$hypothesis$ = the hurling and the publicness occurs. ; $context$ = sent1: if the ogling Chamaemelum does not occur not the knit but the wrack occurs. sent2: the straight-arm happens but the phosphorescence does not occur if the ordinariness does not occur. sent3: that the ballup does not occur and/or the dogtrot happens is not right. sent4: if the foiling does not occur then that the ogling Chamaemelum does not occur but the arthroscopy happens does not hold. sent5: the hurling occurs if the wrack happens. sent6: the subtilizing extravagance occurs. sent7: if not the hurling but the knitting occurs the fact that the wrack does not occur is correct. sent8: that the straight-arm does not occur is triggered by that the ogling Chamaemelum occurs and the foiling happens. sent9: the phosphorescence does not occur. sent10: that the phosphorescence occurs and the ordinary occurs is triggered by that the ballup does not occur. sent11: the foil occurs. sent12: the ordinariness does not occur. sent13: the public does not occur if the phosphorescence occurs. sent14: if the fact that the ballup does not occur and/or the dogtrot occurs is wrong then the public happens. sent15: the fact that the arthroscopy does not occur is right if the fact that not the ogling Chamaemelum but the arthroscopy happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the ogling Chamaemelum happens.; assump1 & sent11 -> int1: both the ogling Chamaemelum and the foiling happens.; int1 & sent8 -> int2: the straight-arm does not occur.; sent2 & sent12 -> int3: the straight-arm but not the phosphorescence occurs.; int3 -> int4: the straight-arm occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ogling Chamaemelum does not occur.; int6 & sent1 -> int7: not the knitting but the wrack happens.; int7 -> int8: the wrack happens.; int8 & sent5 -> int9: the hurling occurs.; sent14 & sent3 -> int10: the public occurs.; int9 & int10 -> hypothesis; __PROVED__