there is something such that if it is a kind of a sower then that it is both not a Krupp and not gutsy does not hold.
sent1: there exists something such that if it is a kind of a sower that it is not a Krupp and is not non-gutsy is not true. sent2: there exists something such that if it is a sower it is not a Krupp and is non-gutsy. sent3: the fact that something is not a Krupp but gutsy is incorrect if it is a kind of a sower. sent4: there exists something such that if that it ticks click-clack is correct then the fact that it is both non-forehand and not angiocarpic is not correct. sent5: something is not a Krupp and is not gutsy if it is a sower. sent6: there is something such that if it is a sower then that it is a kind of a Krupp that is not gutsy is false. sent7: the fact that something is not a hidden and it does not excrete result is not true if it is a Wilmington. sent8: the fact that something is a kind of non-extracellular thing that does not snowmobile is not correct if it is a reggae. sent9: if that the Bovril is a sower is not false then the fact that it is not a kind of a Krupp and it is gutsy is wrong. sent10: that something is both not a Krupp and non-gutsy is not true if the fact that it is a kind of a sower is true. sent11: if something is a Catalan that it does not repress Bovril and is not a Pokomo is not right. sent12: the fact that the Bovril is not gutsy and is not a kind of a wyvern is false if the fact that it is a kind of a sheatfish is not incorrect. sent13: if the Bovril is a kind of a sower the fact that it is a Krupp but not gutsy does not hold. sent14: the Bovril is not a Krupp and not gutsy if it is a sower. sent15: if something is a sower then that it is a Krupp and it is not gutsy does not hold.
sent10 -> int1: the fact that the Bovril is not a Krupp and is not gutsy does not hold if it is a sower.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a sower then that it is both not a Krupp and not gutsy does not hold. ; $context$ = sent1: there exists something such that if it is a kind of a sower that it is not a Krupp and is not non-gutsy is not true. sent2: there exists something such that if it is a sower it is not a Krupp and is non-gutsy. sent3: the fact that something is not a Krupp but gutsy is incorrect if it is a kind of a sower. sent4: there exists something such that if that it ticks click-clack is correct then the fact that it is both non-forehand and not angiocarpic is not correct. sent5: something is not a Krupp and is not gutsy if it is a sower. sent6: there is something such that if it is a sower then that it is a kind of a Krupp that is not gutsy is false. sent7: the fact that something is not a hidden and it does not excrete result is not true if it is a Wilmington. sent8: the fact that something is a kind of non-extracellular thing that does not snowmobile is not correct if it is a reggae. sent9: if that the Bovril is a sower is not false then the fact that it is not a kind of a Krupp and it is gutsy is wrong. sent10: that something is both not a Krupp and non-gutsy is not true if the fact that it is a kind of a sower is true. sent11: if something is a Catalan that it does not repress Bovril and is not a Pokomo is not right. sent12: the fact that the Bovril is not gutsy and is not a kind of a wyvern is false if the fact that it is a kind of a sheatfish is not incorrect. sent13: if the Bovril is a kind of a sower the fact that it is a Krupp but not gutsy does not hold. sent14: the Bovril is not a Krupp and not gutsy if it is a sower. sent15: if something is a sower then that it is a Krupp and it is not gutsy does not hold. ; $proof$ = 
sent10 -> int1: the fact that the Bovril is not a Krupp and is not gutsy does not hold if it is a sower.; int1 -> hypothesis; __PROVED__