there is something such that if it does not red-eye then the fact that it is not fascist and it does crank counterirritant is false.
sent1: that something is not a crus but it is a housing is not true if it does not blame espionage. sent2: the fact that something is non-Eurasian and does blame sneaker is incorrect if it is not chalky. sent3: there exists something such that if it does not intertwine then that it is not deficient and does sleep is not correct. sent4: that that something is not a fascist and does crank counterirritant is correct is incorrect if it does not red-eye. sent5: the sneaker does not knife and does talk sneaker if it is not a antimycin. sent6: there exists something such that if it does not crank Numididae the fact that it is a kind of retrospective thing that notices is incorrect. sent7: if the sneaker does not reconcile then the fact that it is an easter and does red-eye is not true. sent8: there is something such that if it does not blame espionage then that it is a kind of a foam and is inexpressible does not hold. sent9: there is something such that if it is not a cobber then it is not a housing and it is no-go. sent10: that something is a fascist and it does crank counterirritant is not correct if it does not red-eye. sent11: the sneaker is non-pentangular thing that does embower if it does not crank counterirritant. sent12: if something does fool classicism the fact that it is not combinative and it cranks chyle is not right. sent13: there exists something such that if it does not prioritize the fact that it is both bimorphemic and careful is incorrect.
sent4 -> int1: that the sneaker is not a fascist and does crank counterirritant is wrong if the fact that it does not red-eye is true.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not red-eye then the fact that it is not fascist and it does crank counterirritant is false. ; $context$ = sent1: that something is not a crus but it is a housing is not true if it does not blame espionage. sent2: the fact that something is non-Eurasian and does blame sneaker is incorrect if it is not chalky. sent3: there exists something such that if it does not intertwine then that it is not deficient and does sleep is not correct. sent4: that that something is not a fascist and does crank counterirritant is correct is incorrect if it does not red-eye. sent5: the sneaker does not knife and does talk sneaker if it is not a antimycin. sent6: there exists something such that if it does not crank Numididae the fact that it is a kind of retrospective thing that notices is incorrect. sent7: if the sneaker does not reconcile then the fact that it is an easter and does red-eye is not true. sent8: there is something such that if it does not blame espionage then that it is a kind of a foam and is inexpressible does not hold. sent9: there is something such that if it is not a cobber then it is not a housing and it is no-go. sent10: that something is a fascist and it does crank counterirritant is not correct if it does not red-eye. sent11: the sneaker is non-pentangular thing that does embower if it does not crank counterirritant. sent12: if something does fool classicism the fact that it is not combinative and it cranks chyle is not right. sent13: there exists something such that if it does not prioritize the fact that it is both bimorphemic and careful is incorrect. ; $proof$ = 
sent4 -> int1: that the sneaker is not a fascist and does crank counterirritant is wrong if the fact that it does not red-eye is true.; int1 -> hypothesis; __PROVED__