the pink is a kind of a uppercut and does not manhandle pitting.
sent1: the pink is a uppercut that does not manhandle pitting if the Hull is not a FET. sent2: the Hull is a fiftieth and it is a kind of an antimatter. sent3: that something is a uppercut but it does not manhandle pitting is not correct if that it is not benedictory is not incorrect. sent4: the bakery is a kind of an antimatter. sent5: there is something such that it is not benedictory. sent6: the Hull is a kind of an antimatter if something that is not a kind of a FET is not a Mantell. sent7: if the pink is both an antimatter and a FET then it is not a uppercut. sent8: if the Hull does not manhandle Pulex then the pink is a FET. sent9: if something that is not a Mantell is not a blink then the Hull does manhandle Pulex. sent10: the Powhatan is not a kind of a Mantell and it is not a blink if there is something such that it is not benedictory. sent11: that if the Hull manhandles Pulex and it is the fiftieth the Hull is not a FET hold.
sent5 & sent10 -> int1: the Powhatan is both not a Mantell and not a blink.; int1 -> int2: something is both not a Mantell and not a blink.; int2 & sent9 -> int3: that the Hull manhandles Pulex hold.; sent2 -> int4: the Hull is a fiftieth.; int3 & int4 -> int5: the Hull manhandles Pulex and it is a fiftieth.; int5 & sent11 -> int6: the Hull is not a kind of a FET.; int6 & sent1 -> hypothesis;
that the pink is a uppercut but it does not manhandle pitting is wrong.
sent3 -> int7: if the Powhatan is non-benedictory the fact that it is a kind of a uppercut that does not manhandle pitting is false.;
$hypothesis$ = the pink is a kind of a uppercut and does not manhandle pitting. ; $context$ = sent1: the pink is a uppercut that does not manhandle pitting if the Hull is not a FET. sent2: the Hull is a fiftieth and it is a kind of an antimatter. sent3: that something is a uppercut but it does not manhandle pitting is not correct if that it is not benedictory is not incorrect. sent4: the bakery is a kind of an antimatter. sent5: there is something such that it is not benedictory. sent6: the Hull is a kind of an antimatter if something that is not a kind of a FET is not a Mantell. sent7: if the pink is both an antimatter and a FET then it is not a uppercut. sent8: if the Hull does not manhandle Pulex then the pink is a FET. sent9: if something that is not a Mantell is not a blink then the Hull does manhandle Pulex. sent10: the Powhatan is not a kind of a Mantell and it is not a blink if there is something such that it is not benedictory. sent11: that if the Hull manhandles Pulex and it is the fiftieth the Hull is not a FET hold. ; $proof$ = 
sent5 & sent10 -> int1: the Powhatan is both not a Mantell and not a blink.; int1 -> int2: something is both not a Mantell and not a blink.; int2 & sent9 -> int3: that the Hull manhandles Pulex hold.; sent2 -> int4: the Hull is a fiftieth.; int3 & int4 -> int5: the Hull manhandles Pulex and it is a fiftieth.; int5 & sent11 -> int6: the Hull is not a kind of a FET.; int6 & sent1 -> hypothesis; __PROVED__