there exists something such that if the fact that it is a polyester that is weighty does not hold then it does not tinsel computerization.
sent1: if the acetophenetidin is a kind of a polyester that is weighty then it does not tinsel computerization. sent2: if that something is Melanesian and does tinsel sou'-sou'-west is not correct then it is not a kind of a corporatist. sent3: the fact that the acetophenetidin is a polyester is not false if that it does brief Camus and is a kind of a nap does not hold. sent4: if the fact that something is a polyester and weighty does not hold it does not tinsel computerization. sent5: there is something such that if the fact that it is a polyester and weighty hold it does not tinsel computerization. sent6: there exists something such that if the fact that it is a kind of a Chiloe and it does refresh is not correct then it is ascomycetous. sent7: a consistent thing is not a blackbird. sent8: something is not a brocaded if the fact that it briefs Camus and is a paramilitary is not correct. sent9: that something is not a knockabout is not wrong if that it does not incorporate epicycle hold.
sent4 -> int1: the acetophenetidin does not tinsel computerization if that it is a polyester that is weighty does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a polyester that is weighty does not hold then it does not tinsel computerization. ; $context$ = sent1: if the acetophenetidin is a kind of a polyester that is weighty then it does not tinsel computerization. sent2: if that something is Melanesian and does tinsel sou'-sou'-west is not correct then it is not a kind of a corporatist. sent3: the fact that the acetophenetidin is a polyester is not false if that it does brief Camus and is a kind of a nap does not hold. sent4: if the fact that something is a polyester and weighty does not hold it does not tinsel computerization. sent5: there is something such that if the fact that it is a polyester and weighty hold it does not tinsel computerization. sent6: there exists something such that if the fact that it is a kind of a Chiloe and it does refresh is not correct then it is ascomycetous. sent7: a consistent thing is not a blackbird. sent8: something is not a brocaded if the fact that it briefs Camus and is a paramilitary is not correct. sent9: that something is not a knockabout is not wrong if that it does not incorporate epicycle hold. ; $proof$ = 
sent4 -> int1: the acetophenetidin does not tinsel computerization if that it is a polyester that is weighty does not hold.; int1 -> hypothesis; __PROVED__