there exists something such that the fact that it does smell and/or it is not a kind of a purser is not true.
sent1: if that the cirrus is not a hurling and it is not manly is correct it is ratlike. sent2: the Tolectin does pink laity if it is not a kind of a quail and it is a Delilah. sent3: something is unobtrusive if it is ratlike. sent4: if there exists something such that that it does not name fictionalization and it does stratify is not true then the cirrus pinks laity. sent5: if the cirrus is not a purser it is not a kind of a hurling and it is not manly. sent6: the Tolectin is not a quail but it is a Delilah. sent7: if the chebab names fictionalization and fowls the Tolectin is not ratlike. sent8: there exists something such that the fact that it stratifies is true. sent9: if the inkstand is a purser then the fact that the conventioneer is a smelt and/or is not a purser does not hold. sent10: if something does pink laity then the fact that it is a screener is not wrong. sent11: something is a purser if the fact that either it is not manly or it is a kind of a hurling or both is not true. sent12: something that does not name fictionalization does not stratify. sent13: that the Tolectin fowls is right. sent14: if the Tolectin is ratlike and it pinks laity then the chebab does not name fictionalization. sent15: the Tolectin is a kind of ratlike thing that fowls.
sent2 & sent6 -> int1: the Tolectin pinks laity.; sent15 -> int2: the Tolectin is ratlike.; int1 & int2 -> int3: the Tolectin is ratlike and does pink laity.; int3 & sent14 -> int4: the chebab does not name fictionalization.; sent12 -> int5: if the chebab does not name fictionalization it does not stratify.; int4 & int5 -> int6: the chebab does not stratify.; int6 -> int7: there exists something such that it does not stratify.; sent11 -> int8: the inkstand is a kind of a purser if that it is either not manly or a hurling or both is not correct.;
the cirrus is a screener and unobtrusive.
sent10 -> int9: if the cirrus pinks laity it is a kind of a screener.; sent3 -> int10: the cirrus is unobtrusive if it is ratlike.;
$hypothesis$ = there exists something such that the fact that it does smell and/or it is not a kind of a purser is not true. ; $context$ = sent1: if that the cirrus is not a hurling and it is not manly is correct it is ratlike. sent2: the Tolectin does pink laity if it is not a kind of a quail and it is a Delilah. sent3: something is unobtrusive if it is ratlike. sent4: if there exists something such that that it does not name fictionalization and it does stratify is not true then the cirrus pinks laity. sent5: if the cirrus is not a purser it is not a kind of a hurling and it is not manly. sent6: the Tolectin is not a quail but it is a Delilah. sent7: if the chebab names fictionalization and fowls the Tolectin is not ratlike. sent8: there exists something such that the fact that it stratifies is true. sent9: if the inkstand is a purser then the fact that the conventioneer is a smelt and/or is not a purser does not hold. sent10: if something does pink laity then the fact that it is a screener is not wrong. sent11: something is a purser if the fact that either it is not manly or it is a kind of a hurling or both is not true. sent12: something that does not name fictionalization does not stratify. sent13: that the Tolectin fowls is right. sent14: if the Tolectin is ratlike and it pinks laity then the chebab does not name fictionalization. sent15: the Tolectin is a kind of ratlike thing that fowls. ; $proof$ = 
sent2 & sent6 -> int1: the Tolectin pinks laity.; sent15 -> int2: the Tolectin is ratlike.; int1 & int2 -> int3: the Tolectin is ratlike and does pink laity.; int3 & sent14 -> int4: the chebab does not name fictionalization.; sent12 -> int5: if the chebab does not name fictionalization it does not stratify.; int4 & int5 -> int6: the chebab does not stratify.; int6 -> int7: there exists something such that it does not stratify.; sent11 -> int8: the inkstand is a kind of a purser if that it is either not manly or a hurling or both is not correct.; __UNKNOWN__