there is something such that it is a kind of a forestay that is a platitude.
sent1: the fact that there exists something such that it does fool Silvia and is not incorrigible is right. sent2: there exists something such that it is a kind of a forestay. sent3: that the bourtree does not refer or cranks crimson or both is false. sent4: the fact that the Kendal fools Silvia but it is not incorrigible is not correct. sent5: there is nothing such that it does not fool prisoner and it is a platitude. sent6: if that something is on-the-job is true it is uncontroversial. sent7: the fact that the sunglass is a platitude is not wrong if the fact that the mescal is not uncontroversial and/or it fools newsworthiness is not correct. sent8: the crying fools Silvia. sent9: if the mescal is on-the-job the fact that it is uncontroversial hold. sent10: if the mescal is incorrigible the Kendal does crank epithet. sent11: if something is a kind of a forestay then it is not chemotherapeutic and does not fool sword. sent12: if the frontier is chemotherapeutic the sunglass is a forestay. sent13: the bourtree does fool sword if there exists something such that the fact that it does fool Silvia and is not incorrigible does not hold. sent14: if the fact that the mescal is uncontroversial and/or it does fool newsworthiness is not right the sunglass is a platitude. sent15: if that something does not fool prisoner but it is a platitude is not true then the fact that it fool prisoner is not wrong. sent16: the fact that either something is not uncontroversial or it fools newsworthiness or both is wrong if it is on-the-job. sent17: if the bourtree does fool sword then the frontier is chemotherapeutic.
sent4 -> int1: there is something such that the fact that it does fool Silvia and it is not incorrigible is not true.; int1 & sent13 -> int2: the bourtree does fool sword.; int2 & sent17 -> int3: the frontier is chemotherapeutic.; int3 & sent12 -> int4: the sunglass is a forestay.; sent16 -> int5: that the mescal is controversial and/or it fools newsworthiness does not hold if the fact that it is on-the-job is true.;
everything is a Staphylinidae and it fools prisoner.
sent15 -> int6: the bourtree fools prisoner if the fact that it does not fools prisoner and it is a platitude is false.; sent5 -> int7: the fact that the bourtree does not fool prisoner but it is a platitude is not correct.; int6 & int7 -> int8: the bourtree does fool prisoner.; sent11 -> int9: if the bourtree is a forestay then it is a kind of non-chemotherapeutic thing that does not fool sword.;
$hypothesis$ = there is something such that it is a kind of a forestay that is a platitude. ; $context$ = sent1: the fact that there exists something such that it does fool Silvia and is not incorrigible is right. sent2: there exists something such that it is a kind of a forestay. sent3: that the bourtree does not refer or cranks crimson or both is false. sent4: the fact that the Kendal fools Silvia but it is not incorrigible is not correct. sent5: there is nothing such that it does not fool prisoner and it is a platitude. sent6: if that something is on-the-job is true it is uncontroversial. sent7: the fact that the sunglass is a platitude is not wrong if the fact that the mescal is not uncontroversial and/or it fools newsworthiness is not correct. sent8: the crying fools Silvia. sent9: if the mescal is on-the-job the fact that it is uncontroversial hold. sent10: if the mescal is incorrigible the Kendal does crank epithet. sent11: if something is a kind of a forestay then it is not chemotherapeutic and does not fool sword. sent12: if the frontier is chemotherapeutic the sunglass is a forestay. sent13: the bourtree does fool sword if there exists something such that the fact that it does fool Silvia and is not incorrigible does not hold. sent14: if the fact that the mescal is uncontroversial and/or it does fool newsworthiness is not right the sunglass is a platitude. sent15: if that something does not fool prisoner but it is a platitude is not true then the fact that it fool prisoner is not wrong. sent16: the fact that either something is not uncontroversial or it fools newsworthiness or both is wrong if it is on-the-job. sent17: if the bourtree does fool sword then the frontier is chemotherapeutic. ; $proof$ = 
sent4 -> int1: there is something such that the fact that it does fool Silvia and it is not incorrigible is not true.; int1 & sent13 -> int2: the bourtree does fool sword.; int2 & sent17 -> int3: the frontier is chemotherapeutic.; int3 & sent12 -> int4: the sunglass is a forestay.; sent16 -> int5: that the mescal is controversial and/or it fools newsworthiness does not hold if the fact that it is on-the-job is true.; __UNKNOWN__