the tetrose is both interdepartmental and not a handbow.
sent1: if something is a goiter then it is a sliced and does not devoice Betula. sent2: if the fact that the acorn is not a Gesner but it is a crumpet is false the tetrose is not a handbow. sent3: the fact that if the ration is not a kind of a sliced then the tetrose does not devoice Betula is right. sent4: the ration does not slice. sent5: there exists nothing that is not a Gesner and is a crumpet. sent6: something that does not devoice Betula is a kind of a goiter. sent7: something that is a goiter is interdepartmental. sent8: if something that is a sliced does not devoice Betula it is a crumpet.
sent3 & sent4 -> int1: the tetrose does not devoice Betula.; sent6 -> int2: if the tetrose does not devoice Betula that it is a goiter is not false.; int1 & int2 -> int3: the tetrose is a goiter.; sent7 -> int4: the tetrose is interdepartmental if it is a goiter.; int3 & int4 -> int5: the tetrose is interdepartmental.; sent5 -> int6: the fact that the acorn is not a Gesner but it is a crumpet is false.; sent2 & int6 -> int7: the tetrose is not a handbow.; int5 & int7 -> hypothesis;
the kelp is a crumpet.
sent8 -> int8: if the kelp is a sliced and does not devoice Betula then it is a crumpet.; sent1 -> int9: if the kelp is a goiter then it does slice and does not devoice Betula.;
$hypothesis$ = the tetrose is both interdepartmental and not a handbow. ; $context$ = sent1: if something is a goiter then it is a sliced and does not devoice Betula. sent2: if the fact that the acorn is not a Gesner but it is a crumpet is false the tetrose is not a handbow. sent3: the fact that if the ration is not a kind of a sliced then the tetrose does not devoice Betula is right. sent4: the ration does not slice. sent5: there exists nothing that is not a Gesner and is a crumpet. sent6: something that does not devoice Betula is a kind of a goiter. sent7: something that is a goiter is interdepartmental. sent8: if something that is a sliced does not devoice Betula it is a crumpet. ; $proof$ = 
sent3 & sent4 -> int1: the tetrose does not devoice Betula.; sent6 -> int2: if the tetrose does not devoice Betula that it is a goiter is not false.; int1 & int2 -> int3: the tetrose is a goiter.; sent7 -> int4: the tetrose is interdepartmental if it is a goiter.; int3 & int4 -> int5: the tetrose is interdepartmental.; sent5 -> int6: the fact that the acorn is not a Gesner but it is a crumpet is false.; sent2 & int6 -> int7: the tetrose is not a handbow.; int5 & int7 -> hypothesis; __PROVED__