not the infiniteness but the refining happens.
sent1: the fact that the grazing but not the reimposition happens is true. sent2: the full-timeness happens. sent3: that the infiniteness happens is prevented by that the hysteroscopy happens and the shoring occurs. sent4: the earth occurs and the harangue occurs. sent5: the hysteroscopy happens. sent6: the deflection does not occur. sent7: the spermousness does not occur. sent8: the epileptic does not occur. sent9: the shoring occurs. sent10: that the cyanobacterialness does not occur is true. sent11: the climax does not occur. sent12: the countermining occurs but the atonement does not occur. sent13: the glaze does not occur if both the studding mustang and the climax occurs. sent14: the hubbub happens. sent15: if the intellectual does not occur then the hug happens and the causing Ummah does not occur. sent16: if the refining does not occur then the studding mustang occurs but the climax does not occur. sent17: the glaze occurs. sent18: the nesting Microstomus happens. sent19: if the refining does not occur then that the climax does not occur is true. sent20: the glazing does not occur if the studding mustang occurs but the climax does not occur.
void -> assump1: Let's assume that the refining does not occur.; sent16 & assump1 -> int1: the studding mustang occurs but the climax does not occur.; int1 & sent20 -> int2: the glaze does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the refining occurs.; sent5 & sent9 -> int5: the hysteroscopy occurs and the shoring happens.; sent3 & int5 -> int6: the infiniteness does not occur.; int4 & int6 -> hypothesis;
the fact that the infiniteness does not occur and the refining occurs is wrong.
 -> hypothesis;
$hypothesis$ = not the infiniteness but the refining happens. ; $context$ = sent1: the fact that the grazing but not the reimposition happens is true. sent2: the full-timeness happens. sent3: that the infiniteness happens is prevented by that the hysteroscopy happens and the shoring occurs. sent4: the earth occurs and the harangue occurs. sent5: the hysteroscopy happens. sent6: the deflection does not occur. sent7: the spermousness does not occur. sent8: the epileptic does not occur. sent9: the shoring occurs. sent10: that the cyanobacterialness does not occur is true. sent11: the climax does not occur. sent12: the countermining occurs but the atonement does not occur. sent13: the glaze does not occur if both the studding mustang and the climax occurs. sent14: the hubbub happens. sent15: if the intellectual does not occur then the hug happens and the causing Ummah does not occur. sent16: if the refining does not occur then the studding mustang occurs but the climax does not occur. sent17: the glaze occurs. sent18: the nesting Microstomus happens. sent19: if the refining does not occur then that the climax does not occur is true. sent20: the glazing does not occur if the studding mustang occurs but the climax does not occur. ; $proof$ = 
void -> assump1: Let's assume that the refining does not occur.; sent16 & assump1 -> int1: the studding mustang occurs but the climax does not occur.; int1 & sent20 -> int2: the glaze does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the refining occurs.; sent5 & sent9 -> int5: the hysteroscopy occurs and the shoring happens.; sent3 & int5 -> int6: the infiniteness does not occur.; int4 & int6 -> hypothesis; __PROVED__