the fact that the pervaporation does not occur but the splatting finial happens does not hold.
sent1: the finishing pluck and the time happens. sent2: the fragmenting viricide does not occur. sent3: the balk happens and the aceticness occurs. sent4: if the aceticness occurs and the finishing pluck happens then the pervaporation does not occur. sent5: the load occurs. sent6: the fact that the splatting imaret but not the higherness happens is not right if the loading occurs. sent7: the fact that both the splatting imaret and the non-higherness happens does not hold. sent8: if the loading happens then the fact that the splatting imaret does not occur and the higherness occurs does not hold. sent9: the splatting finial happens if the fact that the splatting imaret does not occur and the higherness does not occur does not hold. sent10: the fact that not the splatting imaret but the higherness occurs is not true. sent11: if the load happens then that the splatting imaret does not occur and the higherness does not occur is not correct. sent12: the balk happens.
sent3 -> int1: the aceticness happens.; sent1 -> int2: the finishing pluck occurs.; int1 & int2 -> int3: the aceticness occurs and the finishing pluck occurs.; int3 & sent4 -> int4: the pervaporation does not occur.; sent11 & sent5 -> int5: that the splatting imaret does not occur and the higherness does not occur is incorrect.; sent9 & int5 -> int6: the splatting finial occurs.; int4 & int6 -> hypothesis;
$hypothesis$ = the fact that the pervaporation does not occur but the splatting finial happens does not hold. ; $context$ = sent1: the finishing pluck and the time happens. sent2: the fragmenting viricide does not occur. sent3: the balk happens and the aceticness occurs. sent4: if the aceticness occurs and the finishing pluck happens then the pervaporation does not occur. sent5: the load occurs. sent6: the fact that the splatting imaret but not the higherness happens is not right if the loading occurs. sent7: the fact that both the splatting imaret and the non-higherness happens does not hold. sent8: if the loading happens then the fact that the splatting imaret does not occur and the higherness occurs does not hold. sent9: the splatting finial happens if the fact that the splatting imaret does not occur and the higherness does not occur does not hold. sent10: the fact that not the splatting imaret but the higherness occurs is not true. sent11: if the load happens then that the splatting imaret does not occur and the higherness does not occur is not correct. sent12: the balk happens. ; $proof$ = 
sent3 -> int1: the aceticness happens.; sent1 -> int2: the finishing pluck occurs.; int1 & int2 -> int3: the aceticness occurs and the finishing pluck occurs.; int3 & sent4 -> int4: the pervaporation does not occur.; sent11 & sent5 -> int5: that the splatting imaret does not occur and the higherness does not occur is incorrect.; sent9 & int5 -> int6: the splatting finial occurs.; int4 & int6 -> hypothesis; __DISPROVED__