the cultist is not a tenpin.
sent1: the actuator is an eccentricity if that it is non-gastroesophageal and does not tolerate does not hold. sent2: if the limbers is not a polynomial and it is not a fame the cultist is not a tenpin. sent3: the intrusion is a partial but not a project if the putrescine is a project. sent4: if a partial thing is a project then the mouser is not a fame. sent5: that the actuator is not gastroesophageal and it does not tolerate does not hold. sent6: the mouser is not a kind of a fame if a partial thing is not a kind of a project. sent7: if something that does not project is a partial it is not an eccentricity. sent8: the limbers is not a kind of a polynomial and it is not a kind of a fame if the mouser is not a fame. sent9: the putrescine is a kind of a failure if the actuator is a kind of an eccentricity. sent10: if something is a failure then it projects. sent11: the fact that the putrescine is not a fame and it is not a kind of a project does not hold.
sent1 & sent5 -> int1: the actuator is an eccentricity.; int1 & sent9 -> int2: the putrescine is a kind of a failure.; sent10 -> int3: that the putrescine does project is not false if it is a failure.; int2 & int3 -> int4: the putrescine is a project.; int4 & sent3 -> int5: the intrusion is partial but it is not a project.; int5 -> int6: something is a kind of partial thing that is not a kind of a project.; int6 & sent6 -> int7: the mouser is not a fame.; int7 & sent8 -> int8: the limbers is non-polynomial and not a fame.; int8 & sent2 -> hypothesis;
the cultist is a tenpin.
sent7 -> int9: that the actuator is not an eccentricity is correct if it is not a kind of a project and is a partial.;
$hypothesis$ = the cultist is not a tenpin. ; $context$ = sent1: the actuator is an eccentricity if that it is non-gastroesophageal and does not tolerate does not hold. sent2: if the limbers is not a polynomial and it is not a fame the cultist is not a tenpin. sent3: the intrusion is a partial but not a project if the putrescine is a project. sent4: if a partial thing is a project then the mouser is not a fame. sent5: that the actuator is not gastroesophageal and it does not tolerate does not hold. sent6: the mouser is not a kind of a fame if a partial thing is not a kind of a project. sent7: if something that does not project is a partial it is not an eccentricity. sent8: the limbers is not a kind of a polynomial and it is not a kind of a fame if the mouser is not a fame. sent9: the putrescine is a kind of a failure if the actuator is a kind of an eccentricity. sent10: if something is a failure then it projects. sent11: the fact that the putrescine is not a fame and it is not a kind of a project does not hold. ; $proof$ = 
sent1 & sent5 -> int1: the actuator is an eccentricity.; int1 & sent9 -> int2: the putrescine is a kind of a failure.; sent10 -> int3: that the putrescine does project is not false if it is a failure.; int2 & int3 -> int4: the putrescine is a project.; int4 & sent3 -> int5: the intrusion is partial but it is not a project.; int5 -> int6: something is a kind of partial thing that is not a kind of a project.; int6 & sent6 -> int7: the mouser is not a fame.; int7 & sent8 -> int8: the limbers is non-polynomial and not a fame.; int8 & sent2 -> hypothesis; __PROVED__