the oxacillin is not a kind of a contour and is cursorial.
sent1: if something is an exorcist then it does not contour and it is cursorial. sent2: if the product is not an exorcist then the sultan is an exorcist. sent3: if something does spend Anthyllis then that it does embrown and it does not testify sultan is incorrect. sent4: if the sultan is a tardigrade then that the oxacillin is not a contour but it is cursorial is wrong. sent5: if the stratum does embrown that it does not testify sultan and does spend Anthyllis is not right. sent6: the fact that the oxacillin contours and it is cursorial does not hold. sent7: if something is a kind of a Carmelite it is a tardigrade. sent8: if that the sultan does spend Anthyllis is correct then the fact that it embrowns and it does not testify sultan does not hold. sent9: the sultan is an exorcist. sent10: the sultan is a kind of a Carmelite if it embrowns. sent11: the sultan is a kind of an exorcist that does spend Anthyllis. sent12: the sultan is a kind of a Carmelite if the fact that it does not embrown and does not testify sultan is false. sent13: if the sultan is a kind of a tardigrade then the fact that the oxacillin is a contour and is cursorial is incorrect. sent14: that the sultan is not an exorcist and it is not cursorial is not correct. sent15: the fact that the sultan does embrown and does not testify sultan does not hold. sent16: the fact that something does not embrown and it does not testify sultan is false if the fact that it does spend Anthyllis hold. sent17: if something embrowns that it is not a kind of a crammer and it does not patter is not right.
sent11 -> int1: that the sultan does spend Anthyllis is correct.; sent16 -> int2: that the sultan does not embrown and does not testify sultan is wrong if it spends Anthyllis.; int1 & int2 -> int3: the fact that the sultan does not embrown and does not testify sultan does not hold.; int3 & sent12 -> int4: the fact that the sultan is a kind of a Carmelite hold.; sent7 -> int5: the sultan is a tardigrade if it is a Carmelite.; int4 & int5 -> int6: the sultan is a tardigrade.; int6 & sent4 -> hypothesis;
if that that the shoe does not embrown is correct is not correct then that it is both not a crammer and not a patter does not hold.
sent17 -> hypothesis;
$hypothesis$ = the oxacillin is not a kind of a contour and is cursorial. ; $context$ = sent1: if something is an exorcist then it does not contour and it is cursorial. sent2: if the product is not an exorcist then the sultan is an exorcist. sent3: if something does spend Anthyllis then that it does embrown and it does not testify sultan is incorrect. sent4: if the sultan is a tardigrade then that the oxacillin is not a contour but it is cursorial is wrong. sent5: if the stratum does embrown that it does not testify sultan and does spend Anthyllis is not right. sent6: the fact that the oxacillin contours and it is cursorial does not hold. sent7: if something is a kind of a Carmelite it is a tardigrade. sent8: if that the sultan does spend Anthyllis is correct then the fact that it embrowns and it does not testify sultan does not hold. sent9: the sultan is an exorcist. sent10: the sultan is a kind of a Carmelite if it embrowns. sent11: the sultan is a kind of an exorcist that does spend Anthyllis. sent12: the sultan is a kind of a Carmelite if the fact that it does not embrown and does not testify sultan is false. sent13: if the sultan is a kind of a tardigrade then the fact that the oxacillin is a contour and is cursorial is incorrect. sent14: that the sultan is not an exorcist and it is not cursorial is not correct. sent15: the fact that the sultan does embrown and does not testify sultan does not hold. sent16: the fact that something does not embrown and it does not testify sultan is false if the fact that it does spend Anthyllis hold. sent17: if something embrowns that it is not a kind of a crammer and it does not patter is not right. ; $proof$ = 
sent11 -> int1: that the sultan does spend Anthyllis is correct.; sent16 -> int2: that the sultan does not embrown and does not testify sultan is wrong if it spends Anthyllis.; int1 & int2 -> int3: the fact that the sultan does not embrown and does not testify sultan does not hold.; int3 & sent12 -> int4: the fact that the sultan is a kind of a Carmelite hold.; sent7 -> int5: the sultan is a tardigrade if it is a Carmelite.; int4 & int5 -> int6: the sultan is a tardigrade.; int6 & sent4 -> hypothesis; __DISPROVED__