there is something such that if the fact that it is not finer and it is unpunctual is not right then it is not a metalworking.
sent1: if the fact that something is not a Caldwell and is a czarina is not right it is not a kind of a sociable. sent2: the heather is not unpunctual if it does not sober. sent3: if that the froghopper is a kind of non-finer thing that is unpunctual does not hold then it is not a metalworking. sent4: the froghopper is not a kind of a metalworking if the fact that it is finer and is unpunctual is not true.
sent3 -> hypothesis;
there is something such that if that it is not a Caldwell and it is a kind of a czarina is false it is not a sociable.
sent1 -> int1: if that the distortion is not a Caldwell and is a czarina is incorrect then it is not a sociable.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not finer and it is unpunctual is not right then it is not a metalworking. ; $context$ = sent1: if the fact that something is not a Caldwell and is a czarina is not right it is not a kind of a sociable. sent2: the heather is not unpunctual if it does not sober. sent3: if that the froghopper is a kind of non-finer thing that is unpunctual does not hold then it is not a metalworking. sent4: the froghopper is not a kind of a metalworking if the fact that it is finer and is unpunctual is not true. ; $proof$ = 
sent3 -> hypothesis; __PROVED__