the googly does not occur.
sent1: that the battery occurs and the lunging occurs prevents the cloister. sent2: both the lunging and the clanking pile occurs. sent3: the fact that the consorting stridor happens and the refracting occurs is wrong. sent4: if the gravy occurs the Rastafarian happens. sent5: that the clanking chlorate does not occur leads to that the gravy happens and/or the saddening. sent6: that the tubalness does not occur is caused by that the uplifting occurs and the clanking wool happens. sent7: that the Mexican occurs is correct. sent8: the landler does not occur. sent9: the clanking chlorate does not occur if the fact that the taking and the consorting one-sixteenth occurs does not hold. sent10: the fact that the Rastafarianness does not occur if the googly occurs and the yips occurs is correct. sent11: the coin happens and the jockeying magazine happens. sent12: the lunging and/or that the travestying lander occurs is caused by that the predominating does not occur. sent13: the fact that the taking occurs and the consorting one-sixteenth happens is wrong if the landler does not occur. sent14: both the consorting dolichocephalic and the clanking horse-trail happens. sent15: the evading occurs. sent16: the yips happens if the coin happens. sent17: the Rastafarian happens if the saddening happens.
sent11 -> int1: the coining happens.; int1 & sent16 -> int2: that the yips occurs is not wrong.; void -> assump1: Let's assume that the googly happens.; int2 & assump1 -> int3: both the googly and the yips happens.; int3 & sent10 -> int4: the Rastafarianness does not occur.; sent13 & sent8 -> int5: the fact that the take occurs and the consorting one-sixteenth happens is not right.; sent9 & int5 -> int6: the clanking chlorate does not occur.; sent5 & int6 -> int7: the gravy occurs or the saddening happens or both.; int7 & sent4 & sent17 -> int8: the Rastafarianness happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the googly does not occur. ; $context$ = sent1: that the battery occurs and the lunging occurs prevents the cloister. sent2: both the lunging and the clanking pile occurs. sent3: the fact that the consorting stridor happens and the refracting occurs is wrong. sent4: if the gravy occurs the Rastafarian happens. sent5: that the clanking chlorate does not occur leads to that the gravy happens and/or the saddening. sent6: that the tubalness does not occur is caused by that the uplifting occurs and the clanking wool happens. sent7: that the Mexican occurs is correct. sent8: the landler does not occur. sent9: the clanking chlorate does not occur if the fact that the taking and the consorting one-sixteenth occurs does not hold. sent10: the fact that the Rastafarianness does not occur if the googly occurs and the yips occurs is correct. sent11: the coin happens and the jockeying magazine happens. sent12: the lunging and/or that the travestying lander occurs is caused by that the predominating does not occur. sent13: the fact that the taking occurs and the consorting one-sixteenth happens is wrong if the landler does not occur. sent14: both the consorting dolichocephalic and the clanking horse-trail happens. sent15: the evading occurs. sent16: the yips happens if the coin happens. sent17: the Rastafarian happens if the saddening happens. ; $proof$ = 
sent11 -> int1: the coining happens.; int1 & sent16 -> int2: that the yips occurs is not wrong.; void -> assump1: Let's assume that the googly happens.; int2 & assump1 -> int3: both the googly and the yips happens.; int3 & sent10 -> int4: the Rastafarianness does not occur.; sent13 & sent8 -> int5: the fact that the take occurs and the consorting one-sixteenth happens is not right.; sent9 & int5 -> int6: the clanking chlorate does not occur.; sent5 & int6 -> int7: the gravy occurs or the saddening happens or both.; int7 & sent4 & sent17 -> int8: the Rastafarianness happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__