there is something such that if the fact that it does not jump Picus and it is a Hampshire is incorrect then it is a scyphus.
sent1: if the fact that the expert does not jump Picus and is a Hampshire is not right it is a scyphus. sent2: the expert does provide insubstantiality if that it is both not a Hampshire and a zoning is not true. sent3: if the expert is not a kind of a Hampshire then it is a kind of a scyphus. sent4: if the fact that something is not a Francoa but it fairs is not true it is a kind of a Eniwetok. sent5: if the fact that the expert jumps Picus and is a Hampshire is wrong then it is a scyphus. sent6: there exists something such that if that it is not a kind of a Perseus and does provide supplier is not true it does consubstantiate. sent7: that the expert is the scyphus if the expert does not jump Picus and is a kind of a Hampshire is not incorrect. sent8: there is something such that if that it is both not a gendarme and benzylic is incorrect then it is derivational. sent9: there is something such that if the fact that it jumps Picus and it is a Hampshire is wrong it is a scyphus. sent10: there exists something such that if it is not a kind of a Hampshire it is a scyphus. sent11: there is something such that if it jumps Picus then it is a scyphus. sent12: there is something such that if it does not jump Picus and is a Hampshire it is a scyphus.
sent1 -> hypothesis;
the expert is a Eniwetok if that it is not a Francoa and it does fair is false.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does not jump Picus and it is a Hampshire is incorrect then it is a scyphus. ; $context$ = sent1: if the fact that the expert does not jump Picus and is a Hampshire is not right it is a scyphus. sent2: the expert does provide insubstantiality if that it is both not a Hampshire and a zoning is not true. sent3: if the expert is not a kind of a Hampshire then it is a kind of a scyphus. sent4: if the fact that something is not a Francoa but it fairs is not true it is a kind of a Eniwetok. sent5: if the fact that the expert jumps Picus and is a Hampshire is wrong then it is a scyphus. sent6: there exists something such that if that it is not a kind of a Perseus and does provide supplier is not true it does consubstantiate. sent7: that the expert is the scyphus if the expert does not jump Picus and is a kind of a Hampshire is not incorrect. sent8: there is something such that if that it is both not a gendarme and benzylic is incorrect then it is derivational. sent9: there is something such that if the fact that it jumps Picus and it is a Hampshire is wrong it is a scyphus. sent10: there exists something such that if it is not a kind of a Hampshire it is a scyphus. sent11: there is something such that if it jumps Picus then it is a scyphus. sent12: there is something such that if it does not jump Picus and is a Hampshire it is a scyphus. ; $proof$ = 
sent1 -> hypothesis; __PROVED__