the facilitation is not a syphilitic and is not asymptotic.
sent1: the fratricide does madden asceticism. sent2: if the fact that something is not a kind of a SVR but it perverts does not hold then it is an epileptic. sent3: something does not madden asceticism. sent4: that the facilitation is not a syphilitic and it is not asymptotic is wrong if the fratricide does not madden asceticism. sent5: if there is something such that it does not madden asceticism then the fact that the fratricide is not a SVR but it is a kind of a pervert is false. sent6: the freewheeler is not opisthognathous if there exists something such that the fact that it is a hitter and it is not a kind of a pentameter is wrong. sent7: if there is something such that it does not madden asceticism then the fact that the fratricide is a SVR and it perverts does not hold. sent8: if the freewheeler is non-opisthognathous then it is a certificate that is a pervert. sent9: the facilitation is not asymptotic if the fact that the fratricide is an epileptic is not incorrect. sent10: the fact that the nester is a hitter that is not a pentameter does not hold. sent11: if there exists something such that that it is not a kind of a Algol and it is an epileptic is not correct then the fact that the freewheeler is not a kind of an epileptic is not incorrect. sent12: that the ejector is not a Algol but it is an epileptic is wrong.
sent3 & sent5 -> int1: that the fratricide is not a SVR but it perverts is false.; sent2 -> int2: the fact that the fratricide is epileptic if that the fratricide is not a kind of a SVR and is a pervert is not correct is correct.; int1 & int2 -> int3: the fratricide is an epileptic.;
the fact that the facilitation is not syphilitic and is not asymptotic is not right.
sent12 -> int4: there exists something such that the fact that it is not a Algol and is an epileptic does not hold.; int4 & sent11 -> int5: that the freewheeler is not an epileptic is correct.; sent10 -> int6: there is something such that that it is a kind of a hitter that is not a kind of a pentameter is wrong.; int6 & sent6 -> int7: the freewheeler is non-opisthognathous.; sent8 & int7 -> int8: the freewheeler is both a certificate and a pervert.; int8 -> int9: the freewheeler is a pervert.; int5 & int9 -> int10: the freewheeler is a kind of non-epileptic thing that does pervert.; int10 -> int11: something is not epileptic but it is a pervert.;
$hypothesis$ = the facilitation is not a syphilitic and is not asymptotic. ; $context$ = sent1: the fratricide does madden asceticism. sent2: if the fact that something is not a kind of a SVR but it perverts does not hold then it is an epileptic. sent3: something does not madden asceticism. sent4: that the facilitation is not a syphilitic and it is not asymptotic is wrong if the fratricide does not madden asceticism. sent5: if there is something such that it does not madden asceticism then the fact that the fratricide is not a SVR but it is a kind of a pervert is false. sent6: the freewheeler is not opisthognathous if there exists something such that the fact that it is a hitter and it is not a kind of a pentameter is wrong. sent7: if there is something such that it does not madden asceticism then the fact that the fratricide is a SVR and it perverts does not hold. sent8: if the freewheeler is non-opisthognathous then it is a certificate that is a pervert. sent9: the facilitation is not asymptotic if the fact that the fratricide is an epileptic is not incorrect. sent10: the fact that the nester is a hitter that is not a pentameter does not hold. sent11: if there exists something such that that it is not a kind of a Algol and it is an epileptic is not correct then the fact that the freewheeler is not a kind of an epileptic is not incorrect. sent12: that the ejector is not a Algol but it is an epileptic is wrong. ; $proof$ = 
sent3 & sent5 -> int1: that the fratricide is not a SVR but it perverts is false.; sent2 -> int2: the fact that the fratricide is epileptic if that the fratricide is not a kind of a SVR and is a pervert is not correct is correct.; int1 & int2 -> int3: the fratricide is an epileptic.; __UNKNOWN__