the gastrostomy happens.
sent1: the gastrostomy and the noxiousness occurs if the indecentness does not occur. sent2: the rehash occurs. sent3: the defeat does not occur. sent4: the associateship happens. sent5: the nonevent does not occur but the rehash occurs. sent6: the experiment occurs if the nonevent does not occur. sent7: the humming Garand and the adverbial happens. sent8: the experimenting happens. sent9: that the necessariness and the lacing occurs is brought about by that the humming fielding does not occur. sent10: the knowableness occurs. sent11: the fact that the humming fielding happens is not incorrect. sent12: that the noxiousness happens is not false. sent13: that the indecentness does not occur results in the noxiousness. sent14: the top-downness is prevented by that the indecentness and the adverbialness happens. sent15: the fact that the humming Garand happens is not incorrect. sent16: if the nonevent does not occur the top-downness and the experimenting occurs.
sent7 -> int1: that the adverbial occurs is not incorrect.; void -> assump1: Let's assume that the indecentness occurs.; int1 & assump1 -> int2: the indecentness and the adverbialness occurs.; int2 & sent14 -> int3: that the top-downness does not occur is correct.; sent5 -> int4: the nonevent does not occur.; sent16 & int4 -> int5: both the top-downness and the experimenting occurs.; int5 -> int6: the top-downness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the indecentness does not occur.; int8 & sent1 -> int9: the gastrostomy occurs and the noxiousness occurs.; int9 -> hypothesis;
$hypothesis$ = the gastrostomy happens. ; $context$ = sent1: the gastrostomy and the noxiousness occurs if the indecentness does not occur. sent2: the rehash occurs. sent3: the defeat does not occur. sent4: the associateship happens. sent5: the nonevent does not occur but the rehash occurs. sent6: the experiment occurs if the nonevent does not occur. sent7: the humming Garand and the adverbial happens. sent8: the experimenting happens. sent9: that the necessariness and the lacing occurs is brought about by that the humming fielding does not occur. sent10: the knowableness occurs. sent11: the fact that the humming fielding happens is not incorrect. sent12: that the noxiousness happens is not false. sent13: that the indecentness does not occur results in the noxiousness. sent14: the top-downness is prevented by that the indecentness and the adverbialness happens. sent15: the fact that the humming Garand happens is not incorrect. sent16: if the nonevent does not occur the top-downness and the experimenting occurs. ; $proof$ = 
sent7 -> int1: that the adverbial occurs is not incorrect.; void -> assump1: Let's assume that the indecentness occurs.; int1 & assump1 -> int2: the indecentness and the adverbialness occurs.; int2 & sent14 -> int3: that the top-downness does not occur is correct.; sent5 -> int4: the nonevent does not occur.; sent16 & int4 -> int5: both the top-downness and the experimenting occurs.; int5 -> int6: the top-downness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the indecentness does not occur.; int8 & sent1 -> int9: the gastrostomy occurs and the noxiousness occurs.; int9 -> hypothesis; __PROVED__