there exists something such that if that it is not a blacksnake and does not abuse fielder does not hold it is a Eddy.
sent1: that if the voice is blue-collar the voice abuses shepherd hold. sent2: if that the voice is not a blacksnake and abuses fielder is not correct it is a Eddy. sent3: if the voice is a blacksnake it is a Eddy. sent4: something is calcifugous if the fact that it does not hop aquanaut and does not bury Langley does not hold. sent5: if the voice is not a blacksnake and it does not abuse fielder then it is a Eddy. sent6: there is something such that if that it is not a picofarad and it is anapestic is incorrect it ladles farness. sent7: the voice is a kind of a Eddy if the fact that it is not a blacksnake and it does not abuse fielder is not correct. sent8: there is something such that if that it does not underdress and is not a defoliant is not true then it buries geneva. sent9: there exists something such that if it is competent it does bury parallelism.
sent7 -> hypothesis;
there exists something such that if the fact that it does not hop aquanaut and does not bury Langley is incorrect it is calcifugous.
sent4 -> int1: the bridgehead is calcifugous if the fact that it does not hop aquanaut and it does not bury Langley is not right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a blacksnake and does not abuse fielder does not hold it is a Eddy. ; $context$ = sent1: that if the voice is blue-collar the voice abuses shepherd hold. sent2: if that the voice is not a blacksnake and abuses fielder is not correct it is a Eddy. sent3: if the voice is a blacksnake it is a Eddy. sent4: something is calcifugous if the fact that it does not hop aquanaut and does not bury Langley does not hold. sent5: if the voice is not a blacksnake and it does not abuse fielder then it is a Eddy. sent6: there is something such that if that it is not a picofarad and it is anapestic is incorrect it ladles farness. sent7: the voice is a kind of a Eddy if the fact that it is not a blacksnake and it does not abuse fielder is not correct. sent8: there is something such that if that it does not underdress and is not a defoliant is not true then it buries geneva. sent9: there exists something such that if it is competent it does bury parallelism. ; $proof$ = 
sent7 -> hypothesis; __PROVED__