the ideal tips counterperson.
sent1: the manganate is cryptanalytic if the fact that the sideroblast is not closed-circuit but it does flake snickersnee is not right. sent2: the fact that the sideroblast is closed-circuit and it does tip counterperson does not hold. sent3: the tappet is not closed-circuit if something is a subvention and a Barber. sent4: if the tappet is not closed-circuit the fact that the sideroblast is closed-circuit but it does flake snickersnee is not right. sent5: if that the narc is non-meteoritic thing that is cryptanalytic does not hold the ideal tips counterperson. sent6: the ideal tips counterperson if the narc is not cryptanalytic. sent7: there is something such that it is a kind of cryptanalytic thing that does flake snickersnee. sent8: the fact that the sideroblast does not flake snickersnee and is cryptanalytic is not correct if the manganate does not flake snickersnee. sent9: there is something such that it does flake snickersnee and it is closed-circuit. sent10: that the sideroblast tips counterperson and is not non-closed-circuit does not hold if that the ideal is non-closed-circuit is not incorrect. sent11: if the narc is closed-circuit the tappet is meteoritic. sent12: if the tappet is not closed-circuit that the ideal is a kind of closed-circuit thing that tips counterperson is not true. sent13: if a closed-circuit thing does tip counterperson then the tappet does not flake snickersnee. sent14: the fact that the ideal does not tip counterperson but it is cryptanalytic is wrong. sent15: the narc flakes snickersnee if that the sideroblast is both not closed-circuit and cryptanalytic is false. sent16: something is both a subvention and a Barber. sent17: there exists something such that it is cryptanalytic. sent18: if the fact that the manganate is cryptanalytic is true the fact that the narc is not meteoritic but it is cryptanalytic does not hold. sent19: there exists something such that it is a kind of cryptanalytic thing that does tip counterperson. sent20: the fact that the ideal does not tip counterperson but it is closed-circuit does not hold.
sent16 & sent3 -> int1: the tappet is not closed-circuit.; sent4 & int1 -> int2: the fact that the sideroblast is not closed-circuit but it does flake snickersnee is not right.; sent1 & int2 -> int3: the fact that the manganate is cryptanalytic is right.; sent18 & int3 -> int4: the fact that the narc is both not meteoritic and not non-cryptanalytic is wrong.; sent5 & int4 -> hypothesis;
$hypothesis$ = the ideal tips counterperson. ; $context$ = sent1: the manganate is cryptanalytic if the fact that the sideroblast is not closed-circuit but it does flake snickersnee is not right. sent2: the fact that the sideroblast is closed-circuit and it does tip counterperson does not hold. sent3: the tappet is not closed-circuit if something is a subvention and a Barber. sent4: if the tappet is not closed-circuit the fact that the sideroblast is closed-circuit but it does flake snickersnee is not right. sent5: if that the narc is non-meteoritic thing that is cryptanalytic does not hold the ideal tips counterperson. sent6: the ideal tips counterperson if the narc is not cryptanalytic. sent7: there is something such that it is a kind of cryptanalytic thing that does flake snickersnee. sent8: the fact that the sideroblast does not flake snickersnee and is cryptanalytic is not correct if the manganate does not flake snickersnee. sent9: there is something such that it does flake snickersnee and it is closed-circuit. sent10: that the sideroblast tips counterperson and is not non-closed-circuit does not hold if that the ideal is non-closed-circuit is not incorrect. sent11: if the narc is closed-circuit the tappet is meteoritic. sent12: if the tappet is not closed-circuit that the ideal is a kind of closed-circuit thing that tips counterperson is not true. sent13: if a closed-circuit thing does tip counterperson then the tappet does not flake snickersnee. sent14: the fact that the ideal does not tip counterperson but it is cryptanalytic is wrong. sent15: the narc flakes snickersnee if that the sideroblast is both not closed-circuit and cryptanalytic is false. sent16: something is both a subvention and a Barber. sent17: there exists something such that it is cryptanalytic. sent18: if the fact that the manganate is cryptanalytic is true the fact that the narc is not meteoritic but it is cryptanalytic does not hold. sent19: there exists something such that it is a kind of cryptanalytic thing that does tip counterperson. sent20: the fact that the ideal does not tip counterperson but it is closed-circuit does not hold. ; $proof$ = 
sent16 & sent3 -> int1: the tappet is not closed-circuit.; sent4 & int1 -> int2: the fact that the sideroblast is not closed-circuit but it does flake snickersnee is not right.; sent1 & int2 -> int3: the fact that the manganate is cryptanalytic is right.; sent18 & int3 -> int4: the fact that the narc is both not meteoritic and not non-cryptanalytic is wrong.; sent5 & int4 -> hypothesis; __PROVED__