that the android pecks patella and does not equal does not hold.
sent1: the gastropod is not fistulous. sent2: the gastropod is not fistulous if the ipecac pecks Naga. sent3: the recto is not a folk and does not tunnel analyst. sent4: if the ipecac pecks Naga then the gastropod does pecks Naga but it is not fistulous. sent5: if the recto is not a folk but it does tunnel analyst the ipecac does peck Naga. sent6: the fact that the android does peck patella and it is equal does not hold. sent7: the fact that the android pecks patella but it does not equal is wrong if the gastropod is not a kind of a IVP. sent8: the ipecac does peck Naga if the recto is not a folk and does not tunnel analyst. sent9: the recto does not tunnel analyst. sent10: if something does peck Naga and is not fistulous it is not a kind of a IVP. sent11: the fact that the fact that the gastropod is not the IVP is correct if the gastropod does peck Naga and is fistulous is true.
sent8 & sent3 -> int1: the ipecac does peck Naga.; int1 & sent4 -> int2: the gastropod does peck Naga and is not fistulous.; sent10 -> int3: the gastropod is not a IVP if it pecks Naga and is not fistulous.; int2 & int3 -> int4: the gastropod is not a kind of a IVP.; int4 & sent7 -> hypothesis;
$hypothesis$ = that the android pecks patella and does not equal does not hold. ; $context$ = sent1: the gastropod is not fistulous. sent2: the gastropod is not fistulous if the ipecac pecks Naga. sent3: the recto is not a folk and does not tunnel analyst. sent4: if the ipecac pecks Naga then the gastropod does pecks Naga but it is not fistulous. sent5: if the recto is not a folk but it does tunnel analyst the ipecac does peck Naga. sent6: the fact that the android does peck patella and it is equal does not hold. sent7: the fact that the android pecks patella but it does not equal is wrong if the gastropod is not a kind of a IVP. sent8: the ipecac does peck Naga if the recto is not a folk and does not tunnel analyst. sent9: the recto does not tunnel analyst. sent10: if something does peck Naga and is not fistulous it is not a kind of a IVP. sent11: the fact that the fact that the gastropod is not the IVP is correct if the gastropod does peck Naga and is fistulous is true. ; $proof$ = 
sent8 & sent3 -> int1: the ipecac does peck Naga.; int1 & sent4 -> int2: the gastropod does peck Naga and is not fistulous.; sent10 -> int3: the gastropod is not a IVP if it pecks Naga and is not fistulous.; int2 & int3 -> int4: the gastropod is not a kind of a IVP.; int4 & sent7 -> hypothesis; __PROVED__