the surfing does not occur.
sent1: the fact that the sale happens and the interlobularness occurs is false. sent2: if that the dancing deodar happens hold the fact that the spectralness happens and the rebirth does not occur is false. sent3: that the allogeneicness does not occur is right if that the sale occurs and the interlobularness occurs is wrong. sent4: the rhinoplasty triggers that not the crutch but the dancing Scientology happens. sent5: if the FIFO occurs that the removing passion happens but the fly does not occur does not hold. sent6: that the multivalentness and the non-rockyness occurs is not right if the metallic happens. sent7: if that the dancing adhocracy and the galvanism happens is wrong then the celestialness does not occur. sent8: the dancing adhocracy occurs and the allogeneicness occurs if the galvanism does not occur. sent9: if the fact that the beanball happens is right that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur is not true. sent10: the rhinoplasty occurs if the fact that the rhinoplasty does not occur and the inarticulateness happens is not right. sent11: if the dancing adhocracy happens the surfing occurs. sent12: the fact that the crutch occurs is right. sent13: the irreverence does not occur and the Ethiopian does not occur. sent14: if the fact that the neuralgicness does not occur and the dancing kwanza does not occur is not right the pubicness does not occur. sent15: the fact that the celestialness does not occur and the beanball does not occur does not hold if the crutch happens. sent16: the fact that the dancing adhocracy occurs and the galvanism happens is wrong if that the allogeneicness does not occur is correct. sent17: if the fact that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur is incorrect then the surfing does not occur. sent18: if not the crutch but the dancing Scientology occurs the fact that the spring-cleaning exhaust does not occur is not incorrect.
sent3 & sent1 -> int1: the allogeneicness does not occur.; int1 & sent16 -> int2: the fact that the dancing adhocracy occurs and the galvanism happens is not true.; int2 & sent7 -> int3: the celestialness does not occur.; void -> assump1: Let's assume that the fact that the beanball does not occur is not incorrect.; int3 & assump1 -> int4: the celestialness does not occur and the beanball does not occur.; sent15 & sent12 -> int5: the fact that the celestialness does not occur and the beanball does not occur does not hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the beanball happens.; int7 & sent9 -> int8: the fact that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur does not hold.; int8 & sent17 -> hypothesis;
the surfing occurs.
$hypothesis$ = the surfing does not occur. ; $context$ = sent1: the fact that the sale happens and the interlobularness occurs is false. sent2: if that the dancing deodar happens hold the fact that the spectralness happens and the rebirth does not occur is false. sent3: that the allogeneicness does not occur is right if that the sale occurs and the interlobularness occurs is wrong. sent4: the rhinoplasty triggers that not the crutch but the dancing Scientology happens. sent5: if the FIFO occurs that the removing passion happens but the fly does not occur does not hold. sent6: that the multivalentness and the non-rockyness occurs is not right if the metallic happens. sent7: if that the dancing adhocracy and the galvanism happens is wrong then the celestialness does not occur. sent8: the dancing adhocracy occurs and the allogeneicness occurs if the galvanism does not occur. sent9: if the fact that the beanball happens is right that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur is not true. sent10: the rhinoplasty occurs if the fact that the rhinoplasty does not occur and the inarticulateness happens is not right. sent11: if the dancing adhocracy happens the surfing occurs. sent12: the fact that the crutch occurs is right. sent13: the irreverence does not occur and the Ethiopian does not occur. sent14: if the fact that the neuralgicness does not occur and the dancing kwanza does not occur is not right the pubicness does not occur. sent15: the fact that the celestialness does not occur and the beanball does not occur does not hold if the crutch happens. sent16: the fact that the dancing adhocracy occurs and the galvanism happens is wrong if that the allogeneicness does not occur is correct. sent17: if the fact that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur is incorrect then the surfing does not occur. sent18: if not the crutch but the dancing Scientology occurs the fact that the spring-cleaning exhaust does not occur is not incorrect. ; $proof$ = 
sent3 & sent1 -> int1: the allogeneicness does not occur.; int1 & sent16 -> int2: the fact that the dancing adhocracy occurs and the galvanism happens is not true.; int2 & sent7 -> int3: the celestialness does not occur.; void -> assump1: Let's assume that the fact that the beanball does not occur is not incorrect.; int3 & assump1 -> int4: the celestialness does not occur and the beanball does not occur.; sent15 & sent12 -> int5: the fact that the celestialness does not occur and the beanball does not occur does not hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the beanball happens.; int7 & sent9 -> int8: the fact that the spring-cleaning exhaust does not occur and the dancing Scientology does not occur does not hold.; int8 & sent17 -> hypothesis; __PROVED__