the sorceress is not a numerologist.
sent1: something that does not whelp estaminet is a bloodworm that is a numerologist. sent2: if something is antiapartheid and it is a pituitary it does not whelp estaminet. sent3: the fact that the showerhead is a kind of non-intolerable thing that is not a bloodworm is incorrect. sent4: the greyback is not non-antiapartheid and it is a pituitary. sent5: if the greyback does not whelp estaminet then that the showerhead does not whelp estaminet and is not a traverser is not right. sent6: the sorceress is not a kind of a numerologist if that it is not intolerable and does kidnap C-ration is incorrect. sent7: if the greyback does not whelp estaminet the fact that the showerhead does not whelp estaminet but it is a traverser is wrong. sent8: if the greyback is a traverser that the showerhead is not antiapartheid is true. sent9: that either the rustic is a kind of a Neckar or it is antiapartheid or both is not incorrect. sent10: if the talus does not kidnap C-ration then that the sorceress is not intolerable but it does kidnap C-ration is not true. sent11: that the showerhead is not a kind of a bloodworm is correct if that it does not whelp estaminet and it is not a traverser is wrong. sent12: the greyback is not a kind of a traverser. sent13: if the rustic is a Neckar or a bloodworm or both the talus does not kidnap C-ration. sent14: that the sorceress is a bloodworm and it is intolerable is incorrect.
sent2 -> int1: the greyback does not whelp estaminet if it is antiapartheid and it is pituitary.; int1 & sent4 -> int2: the greyback does not whelp estaminet.; int2 & sent5 -> int3: the fact that the showerhead does not whelp estaminet and is not a traverser does not hold.; int3 & sent11 -> int4: the showerhead is not a kind of a bloodworm.;
the sorceress is a numerologist.
sent1 -> int5: the sorceress is a bloodworm and it is a numerologist if it does not whelp estaminet.;
$hypothesis$ = the sorceress is not a numerologist. ; $context$ = sent1: something that does not whelp estaminet is a bloodworm that is a numerologist. sent2: if something is antiapartheid and it is a pituitary it does not whelp estaminet. sent3: the fact that the showerhead is a kind of non-intolerable thing that is not a bloodworm is incorrect. sent4: the greyback is not non-antiapartheid and it is a pituitary. sent5: if the greyback does not whelp estaminet then that the showerhead does not whelp estaminet and is not a traverser is not right. sent6: the sorceress is not a kind of a numerologist if that it is not intolerable and does kidnap C-ration is incorrect. sent7: if the greyback does not whelp estaminet the fact that the showerhead does not whelp estaminet but it is a traverser is wrong. sent8: if the greyback is a traverser that the showerhead is not antiapartheid is true. sent9: that either the rustic is a kind of a Neckar or it is antiapartheid or both is not incorrect. sent10: if the talus does not kidnap C-ration then that the sorceress is not intolerable but it does kidnap C-ration is not true. sent11: that the showerhead is not a kind of a bloodworm is correct if that it does not whelp estaminet and it is not a traverser is wrong. sent12: the greyback is not a kind of a traverser. sent13: if the rustic is a Neckar or a bloodworm or both the talus does not kidnap C-ration. sent14: that the sorceress is a bloodworm and it is intolerable is incorrect. ; $proof$ = 
sent2 -> int1: the greyback does not whelp estaminet if it is antiapartheid and it is pituitary.; int1 & sent4 -> int2: the greyback does not whelp estaminet.; int2 & sent5 -> int3: the fact that the showerhead does not whelp estaminet and is not a traverser does not hold.; int3 & sent11 -> int4: the showerhead is not a kind of a bloodworm.; __UNKNOWN__