the fact that the kit is not a kind of a sojourn and does not dance hatchway does not hold.
sent1: if the kit is operational then the fact that it is not a sojourn hold. sent2: the bongo does not spring-clean withdrawal. sent3: that that the kit does not dance hatchway and it is not profitable is incorrect if the kit is operational is right. sent4: if a healthy thing does not spring-clean withdrawal it does not dance hatchway. sent5: if something is not unhealthy but it does spring-clean withdrawal it does not dance hatchway. sent6: the bongo does not dance hatchway if the fact that it is not unhealthy and it spring-cleans withdrawal hold. sent7: the bongo is operational. sent8: the bongo dances Waterbury and does dance jurist. sent9: if the fact that something is operational is not false it is not a kind of a sojourn. sent10: if the kit is a sojourn then it is not unhealthy. sent11: the bongo is healthy and does not spring-clean withdrawal if it is operational. sent12: if the bongo does not dance hatchway the fact that the kit is not a kind of a sojourn and it does not dance hatchway does not hold.
sent11 & sent7 -> int1: the bongo is not unhealthy and does not spring-clean withdrawal.; sent4 -> int2: the bongo does not dance hatchway if it is not unhealthy and it does not spring-clean withdrawal.; int1 & int2 -> int3: the bongo does not dance hatchway.; int3 & sent12 -> hypothesis;
that the fact that the kit does not dance hatchway and it is not profitable does not hold hold.
$hypothesis$ = the fact that the kit is not a kind of a sojourn and does not dance hatchway does not hold. ; $context$ = sent1: if the kit is operational then the fact that it is not a sojourn hold. sent2: the bongo does not spring-clean withdrawal. sent3: that that the kit does not dance hatchway and it is not profitable is incorrect if the kit is operational is right. sent4: if a healthy thing does not spring-clean withdrawal it does not dance hatchway. sent5: if something is not unhealthy but it does spring-clean withdrawal it does not dance hatchway. sent6: the bongo does not dance hatchway if the fact that it is not unhealthy and it spring-cleans withdrawal hold. sent7: the bongo is operational. sent8: the bongo dances Waterbury and does dance jurist. sent9: if the fact that something is operational is not false it is not a kind of a sojourn. sent10: if the kit is a sojourn then it is not unhealthy. sent11: the bongo is healthy and does not spring-clean withdrawal if it is operational. sent12: if the bongo does not dance hatchway the fact that the kit is not a kind of a sojourn and it does not dance hatchway does not hold. ; $proof$ = 
sent11 & sent7 -> int1: the bongo is not unhealthy and does not spring-clean withdrawal.; sent4 -> int2: the bongo does not dance hatchway if it is not unhealthy and it does not spring-clean withdrawal.; int1 & int2 -> int3: the bongo does not dance hatchway.; int3 & sent12 -> hypothesis; __PROVED__