the ray does not occur.
sent1: the insularness happens and the organicisticness happens. sent2: the polypectomy does not occur. sent3: the speaking Patroclus happens. sent4: the fact that the spondaicness happens but the interrogation does not occur does not hold. sent5: the fact that the sparging desorption happens but the centroidalness does not occur is false. sent6: if the paradigmaticness does not occur the grating happens. sent7: the updating arch does not occur. sent8: the con occurs. sent9: if the ray happens then the fact that the deformationalness does not occur and the encouragement does not occur is not right. sent10: the fact that the hiplengthness does not occur and the Nestorianness does not occur does not hold. sent11: the trisecting boxwood does not occur if the fact that the deformationalness does not occur and the encouragement does not occur does not hold. sent12: the perfecting happens. sent13: that the perfecting happens is triggered by that the polypectomy does not occur. sent14: that both the non-etymologicalness and the non-mutationalness happens is not true. sent15: that the polypectomy does not occur brings about that both the trisecting boxwood and the perfecting occurs. sent16: the fun happens and the updating Montgolfier occurs if the uricness does not occur.
void -> assump1: Let's assume that the raying occurs.; sent9 & assump1 -> int1: that the deformationalness does not occur and the encouragement does not occur does not hold.; int1 & sent11 -> int2: that the trisecting boxwood does not occur is not false.; sent15 & sent2 -> int3: the trisecting boxwood happens and the perfecting occurs.; int3 -> int4: the trisecting boxwood happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the ray does not occur. ; $context$ = sent1: the insularness happens and the organicisticness happens. sent2: the polypectomy does not occur. sent3: the speaking Patroclus happens. sent4: the fact that the spondaicness happens but the interrogation does not occur does not hold. sent5: the fact that the sparging desorption happens but the centroidalness does not occur is false. sent6: if the paradigmaticness does not occur the grating happens. sent7: the updating arch does not occur. sent8: the con occurs. sent9: if the ray happens then the fact that the deformationalness does not occur and the encouragement does not occur is not right. sent10: the fact that the hiplengthness does not occur and the Nestorianness does not occur does not hold. sent11: the trisecting boxwood does not occur if the fact that the deformationalness does not occur and the encouragement does not occur does not hold. sent12: the perfecting happens. sent13: that the perfecting happens is triggered by that the polypectomy does not occur. sent14: that both the non-etymologicalness and the non-mutationalness happens is not true. sent15: that the polypectomy does not occur brings about that both the trisecting boxwood and the perfecting occurs. sent16: the fun happens and the updating Montgolfier occurs if the uricness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the raying occurs.; sent9 & assump1 -> int1: that the deformationalness does not occur and the encouragement does not occur does not hold.; int1 & sent11 -> int2: that the trisecting boxwood does not occur is not false.; sent15 & sent2 -> int3: the trisecting boxwood happens and the perfecting occurs.; int3 -> int4: the trisecting boxwood happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__