the fact that that the mystifying Ophiuchus does not occur results in that the unpaidness and the gingivalness happens does not hold.
sent1: that the granulation occurs causes that the biomedicalness does not occur and the legislatorship does not occur. sent2: the mystifying Ophiuchus occurs if that the otoplasty does not occur and the boring does not occur is not correct. sent3: the gingivalness does not occur if the unpaidness or the non-gingivalness or both happens. sent4: the diffusing happens. sent5: if the overburdening horsemeat does not occur both the playableness and the integrating helmeted occurs. sent6: that the overburdening horsemeat and the non-goingness happens is incorrect if the fact that the biomedicalness does not occur is not incorrect. sent7: the trophotropicness does not occur. sent8: that the integrating gramicidin and the appointiveness occurs is not incorrect if the forgiving does not occur. sent9: if that the fact that the integrating gramicidin does not occur and the unpaidness does not occur hold is incorrect then the unpaidness occurs. sent10: if the appointiveness happens then the fact that the integrating gramicidin does not occur and the unpaidness does not occur does not hold. sent11: the forgiving does not occur if the fact that the overburdening hickory occurs or the onset does not occur or both does not hold. sent12: if the instrumenting pheromone does not occur then that the otoplasty does not occur and the boring does not occur is incorrect. sent13: the appointiveness occurs and the forgiving occurs. sent14: the mystifying foreshore leads to the integrating chimneysweeper. sent15: if the integrating helmeted happens then that the overburdening hickory occurs and/or the onset does not occur is false. sent16: the gingivalness happens if the fact that the instrumenting pheromone occurs is not incorrect. sent17: the bribery occurs if the instrumenting pheromone occurs. sent18: the overburdening horsemeat does not occur if the fact that both the overburdening horsemeat and the non-goingness happens is incorrect.
void -> assump2: Let's assume that the instrumenting pheromone does not occur.; sent12 & assump2 -> int1: that the otoplasty does not occur and the boring does not occur does not hold.; int1 & sent2 -> int2: the mystifying Ophiuchus occurs.; void -> assump1: Let's assume that the fact that the mystifying Ophiuchus does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the instrumenting pheromone happens.; int4 & sent16 -> int5: the gingivalness occurs.; sent13 -> int6: the appointiveness happens.; sent10 & int6 -> int7: the fact that the integrating gramicidin does not occur and the unpaidness does not occur does not hold.; sent9 & int7 -> int8: the unpaidness happens.; int5 & int8 -> int9: the unpaidness happens and the gingivalness happens.; [assump1] & int9 -> hypothesis;
the bribery happens.
$hypothesis$ = the fact that that the mystifying Ophiuchus does not occur results in that the unpaidness and the gingivalness happens does not hold. ; $context$ = sent1: that the granulation occurs causes that the biomedicalness does not occur and the legislatorship does not occur. sent2: the mystifying Ophiuchus occurs if that the otoplasty does not occur and the boring does not occur is not correct. sent3: the gingivalness does not occur if the unpaidness or the non-gingivalness or both happens. sent4: the diffusing happens. sent5: if the overburdening horsemeat does not occur both the playableness and the integrating helmeted occurs. sent6: that the overburdening horsemeat and the non-goingness happens is incorrect if the fact that the biomedicalness does not occur is not incorrect. sent7: the trophotropicness does not occur. sent8: that the integrating gramicidin and the appointiveness occurs is not incorrect if the forgiving does not occur. sent9: if that the fact that the integrating gramicidin does not occur and the unpaidness does not occur hold is incorrect then the unpaidness occurs. sent10: if the appointiveness happens then the fact that the integrating gramicidin does not occur and the unpaidness does not occur does not hold. sent11: the forgiving does not occur if the fact that the overburdening hickory occurs or the onset does not occur or both does not hold. sent12: if the instrumenting pheromone does not occur then that the otoplasty does not occur and the boring does not occur is incorrect. sent13: the appointiveness occurs and the forgiving occurs. sent14: the mystifying foreshore leads to the integrating chimneysweeper. sent15: if the integrating helmeted happens then that the overburdening hickory occurs and/or the onset does not occur is false. sent16: the gingivalness happens if the fact that the instrumenting pheromone occurs is not incorrect. sent17: the bribery occurs if the instrumenting pheromone occurs. sent18: the overburdening horsemeat does not occur if the fact that both the overburdening horsemeat and the non-goingness happens is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the instrumenting pheromone does not occur.; sent12 & assump2 -> int1: that the otoplasty does not occur and the boring does not occur does not hold.; int1 & sent2 -> int2: the mystifying Ophiuchus occurs.; void -> assump1: Let's assume that the fact that the mystifying Ophiuchus does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the instrumenting pheromone happens.; int4 & sent16 -> int5: the gingivalness occurs.; sent13 -> int6: the appointiveness happens.; sent10 & int6 -> int7: the fact that the integrating gramicidin does not occur and the unpaidness does not occur does not hold.; sent9 & int7 -> int8: the unpaidness happens.; int5 & int8 -> int9: the unpaidness happens and the gingivalness happens.; [assump1] & int9 -> hypothesis; __DISPROVED__