if the agrypnoticness happens then the five-hitter does not occur.
sent1: that the Kiplingesqueness happens is prevented by that the division does not occur and the neglecting Estonian does not occur. sent2: if both the rationalizing plastique and the tapotement occurs then the fashionableness does not occur. sent3: if the humbleness does not occur the five-hitter happens and the hydroelectricity happens. sent4: the solelessness is prevented by the spinning. sent5: the five-hitter occurs. sent6: that the humbleness does not occur and the coherentness does not occur is brought about by that the Kiplingesqueness does not occur. sent7: the subsurfaceness is prevented by that both the rationalizing outgrowth and the apocrineness occurs. sent8: the five-hitter is brought about by the agrypnoticness. sent9: that both the agrypnoticness and the stomatousness occurs causes that the five-hitter does not occur. sent10: that the five-hitter happens is brought about by that both the agrypnoticness and the stomatousness happens. sent11: if the stomatousness happens and the agrypnoticness does not occur the following happens. sent12: if the fashionableness does not occur the division does not occur and the neglecting Estonian does not occur. sent13: if the neglecting valise happens then the fact that the photoconductivity does not occur is true. sent14: the stomatousness happens. sent15: the neglecting orderliness happens.
void -> assump1: Let's assume that the agrypnoticness happens.; assump1 & sent14 -> int1: the agrypnoticness happens and the stomatousness occurs.; sent9 & int1 -> int2: the five-hitter does not occur.; [assump1] & int2 -> hypothesis;
the following occurs.
$hypothesis$ = if the agrypnoticness happens then the five-hitter does not occur. ; $context$ = sent1: that the Kiplingesqueness happens is prevented by that the division does not occur and the neglecting Estonian does not occur. sent2: if both the rationalizing plastique and the tapotement occurs then the fashionableness does not occur. sent3: if the humbleness does not occur the five-hitter happens and the hydroelectricity happens. sent4: the solelessness is prevented by the spinning. sent5: the five-hitter occurs. sent6: that the humbleness does not occur and the coherentness does not occur is brought about by that the Kiplingesqueness does not occur. sent7: the subsurfaceness is prevented by that both the rationalizing outgrowth and the apocrineness occurs. sent8: the five-hitter is brought about by the agrypnoticness. sent9: that both the agrypnoticness and the stomatousness occurs causes that the five-hitter does not occur. sent10: that the five-hitter happens is brought about by that both the agrypnoticness and the stomatousness happens. sent11: if the stomatousness happens and the agrypnoticness does not occur the following happens. sent12: if the fashionableness does not occur the division does not occur and the neglecting Estonian does not occur. sent13: if the neglecting valise happens then the fact that the photoconductivity does not occur is true. sent14: the stomatousness happens. sent15: the neglecting orderliness happens. ; $proof$ = 
void -> assump1: Let's assume that the agrypnoticness happens.; assump1 & sent14 -> int1: the agrypnoticness happens and the stomatousness occurs.; sent9 & int1 -> int2: the five-hitter does not occur.; [assump1] & int2 -> hypothesis; __PROVED__