the carbide does not pulsate and is archidiaconal.
sent1: the thimerosal is knee-length if there is something such that the fact that it is not knee-length and it is a swearer is not true. sent2: if the carbide is not a counterblast and/or it does not deviate Numenius then it does not pulsate. sent3: the fact that the carbide is a counterblast and/or does not deviate Numenius hold. sent4: something is not archidiaconal if the fact that it is a kind of non-heroics thing that is a kind of a cyclist does not hold. sent5: the fact that something is not a heroics but a cyclist is wrong if it is knee-length. sent6: the indentation is totipotent if it leaches carbide. sent7: the carbide is not a counterblast or it does not deviate Numenius or both. sent8: the fact that something is non-knee-length but it is a swearer is wrong if it is totipotent. sent9: the indentation does leach carbide if there is something such that the fact that it is not a kind of a blacksmith and does not leach carbide is not correct. sent10: the carbide is archidiaconal and it is a cyclist. sent11: there is something such that the fact that it is not a blacksmith and does not leach carbide is incorrect.
sent2 & sent7 -> int1: the carbide does not pulsate.; sent10 -> int2: the fact that the carbide is archidiaconal is true.; int1 & int2 -> hypothesis;
the fact that the carbide does not pulsate and is archidiaconal is false.
sent4 -> int3: if that the fact that the thimerosal is not a heroics but it is a cyclist is not incorrect does not hold it is not archidiaconal.; sent5 -> int4: the fact that the thimerosal is not a heroics but a cyclist is wrong if that it is knee-length is not wrong.; sent8 -> int5: if the indentation is totipotent then the fact that it is not knee-length and it is a kind of a swearer is wrong.; sent11 & sent9 -> int6: the indentation does leach carbide.; sent6 & int6 -> int7: the indentation is totipotent.; int5 & int7 -> int8: that the indentation is not knee-length but it is a swearer is incorrect.; int8 -> int9: there is something such that that the fact that it is not knee-length and it is a swearer hold does not hold.; int9 & sent1 -> int10: that the thimerosal is knee-length is not wrong.; int4 & int10 -> int11: that the thimerosal is a kind of non-heroics thing that is a cyclist is not correct.; int3 & int11 -> int12: the thimerosal is not archidiaconal.; int12 -> int13: there is something such that that it is not archidiaconal is not wrong.;
$hypothesis$ = the carbide does not pulsate and is archidiaconal. ; $context$ = sent1: the thimerosal is knee-length if there is something such that the fact that it is not knee-length and it is a swearer is not true. sent2: if the carbide is not a counterblast and/or it does not deviate Numenius then it does not pulsate. sent3: the fact that the carbide is a counterblast and/or does not deviate Numenius hold. sent4: something is not archidiaconal if the fact that it is a kind of non-heroics thing that is a kind of a cyclist does not hold. sent5: the fact that something is not a heroics but a cyclist is wrong if it is knee-length. sent6: the indentation is totipotent if it leaches carbide. sent7: the carbide is not a counterblast or it does not deviate Numenius or both. sent8: the fact that something is non-knee-length but it is a swearer is wrong if it is totipotent. sent9: the indentation does leach carbide if there is something such that the fact that it is not a kind of a blacksmith and does not leach carbide is not correct. sent10: the carbide is archidiaconal and it is a cyclist. sent11: there is something such that the fact that it is not a blacksmith and does not leach carbide is incorrect. ; $proof$ = 
sent2 & sent7 -> int1: the carbide does not pulsate.; sent10 -> int2: the fact that the carbide is archidiaconal is true.; int1 & int2 -> hypothesis; __PROVED__