that the juvenile is not a kind of a blister and does not grade Tappan is incorrect.
sent1: the Bellarmine does not count oiler and does fatten if the sawfish does not stumble discussant. sent2: something does not blister and it does not grade Tappan if it does not count cecum. sent3: the discussant does not fatten if the Bellarmine does not count oiler and fatten. sent4: the discussant does not stumble discussant. sent5: if something is not a grandma then the Oriental is a kind of a kaleidoscope. sent6: if the footwall does count stickleback and is a kind of a grandma then the oiler is not a grandma. sent7: if there is something such that the fact that it is a kind of a kaleidoscope is not false the door does not correct. sent8: if the fact that the discussant does not fatten is true then that the Hupa counts cecum but it is not wheelless is not true. sent9: the footwall does not preponderate but it is a vivarium. sent10: if the footwall is not arbitral it counts stickleback and is a grandma. sent11: the footwall is not arbitral if it does not preponderate and it is a kind of a vivarium. sent12: if the door does not stumble discussant and does count moiety the sawfish does not stumble discussant. sent13: that the juvenile does not blister and it does not grade Tappan is false. sent14: that something does not stumble discussant and does count moiety is not wrong if it is not correct. sent15: the Hupa is a kind of non-wheelless thing that does not count cecum if something does not stumble discussant. sent16: the fact that that the juvenile is not a blister but it does grade Tappan hold is incorrect.
sent13 -> hypothesis;
the juvenile is not a blister and does not grade Tappan.
sent2 -> int1: the juvenile does not blister and does not grade Tappan if it does not count cecum.; sent14 -> int2: if the fact that the door is not correct hold it does not stumble discussant and it counts moiety.; sent11 & sent9 -> int3: the footwall is not arbitral.; sent10 & int3 -> int4: the footwall counts stickleback and it is a kind of a grandma.; sent6 & int4 -> int5: the oiler is not a grandma.; int5 -> int6: there is something such that it is not a grandma.; int6 & sent5 -> int7: the Oriental is a kind of a kaleidoscope.; int7 -> int8: there is something such that it is a kind of a kaleidoscope.; int8 & sent7 -> int9: the door is not correct.; int2 & int9 -> int10: the door does not stumble discussant but it does count moiety.; sent12 & int10 -> int11: the sawfish does not stumble discussant.; sent1 & int11 -> int12: the Bellarmine does not count oiler but it fattens.; sent3 & int12 -> int13: the discussant does not fatten.; sent8 & int13 -> int14: the fact that the Hupa counts cecum but it is not wheelless is incorrect.; int14 -> int15: there exists something such that the fact that it counts cecum and is not wheelless does not hold.;
$hypothesis$ = that the juvenile is not a kind of a blister and does not grade Tappan is incorrect. ; $context$ = sent1: the Bellarmine does not count oiler and does fatten if the sawfish does not stumble discussant. sent2: something does not blister and it does not grade Tappan if it does not count cecum. sent3: the discussant does not fatten if the Bellarmine does not count oiler and fatten. sent4: the discussant does not stumble discussant. sent5: if something is not a grandma then the Oriental is a kind of a kaleidoscope. sent6: if the footwall does count stickleback and is a kind of a grandma then the oiler is not a grandma. sent7: if there is something such that the fact that it is a kind of a kaleidoscope is not false the door does not correct. sent8: if the fact that the discussant does not fatten is true then that the Hupa counts cecum but it is not wheelless is not true. sent9: the footwall does not preponderate but it is a vivarium. sent10: if the footwall is not arbitral it counts stickleback and is a grandma. sent11: the footwall is not arbitral if it does not preponderate and it is a kind of a vivarium. sent12: if the door does not stumble discussant and does count moiety the sawfish does not stumble discussant. sent13: that the juvenile does not blister and it does not grade Tappan is false. sent14: that something does not stumble discussant and does count moiety is not wrong if it is not correct. sent15: the Hupa is a kind of non-wheelless thing that does not count cecum if something does not stumble discussant. sent16: the fact that that the juvenile is not a blister but it does grade Tappan hold is incorrect. ; $proof$ = 
sent13 -> hypothesis; __PROVED__