that the fact that there is something such that if it is both not a Valmy and Genoese then it is septic hold is wrong.
sent1: the cat's-paw does enfeoff organ-grinder if it is a kind of non-internal a Genoese. sent2: something that does not decrease midafternoon and is a drafter is a blaze. sent3: the eight-spot is negligent if it is not neuralgic and it decreases Lycopodium. sent4: something does cream showpiece if it is not a kind of a Swiss and is a nonperson. sent5: if something that is not antithyroid is virile it enfeoffs Pyrophorus. sent6: if something is both not a minelayer and a paddock then it is a Kendal. sent7: the apron is a Coregonus if it is not ideographic and it is tuberculate. sent8: if the apron is both not a Genoese and categoric then it is natriuretic. sent9: if the apron is non-Genoese but it is greater then it decreases Culicidae. sent10: there exists something such that if it is a Valmy and it is a kind of a Genoese then it is septic. sent11: there exists something such that if it is not a hecatomb and it is inconstant then it is categoric. sent12: if that something is both a Valmy and not non-Genoese is not wrong then it is septic. sent13: if the apron is a kind of a Valmy and is Genoese it is septic. sent14: if something does not decrease xenophobia but it is geodetic that it does not decrease hardinggrass is not right. sent15: something is semiterrestrial if it is not interior and is a front. sent16: the fact that the apron is a kind of the hecatomb if the apron does not raffle and is a gum-lac is true. sent17: if something is not a Valmy but Genoese it is septic. sent18: there is something such that if it is not a kind of a Camelot and it is a kind of a Sax it is categoric. sent19: if the cant is non-septic a naphazoline then it is geodetic. sent20: something is a minelayer if it is not an official and it is geodetic.
sent17 -> int1: the apron is septic if it is not a Valmy and it is Genoese.; int1 -> hypothesis;
$hypothesis$ = that the fact that there is something such that if it is both not a Valmy and Genoese then it is septic hold is wrong. ; $context$ = sent1: the cat's-paw does enfeoff organ-grinder if it is a kind of non-internal a Genoese. sent2: something that does not decrease midafternoon and is a drafter is a blaze. sent3: the eight-spot is negligent if it is not neuralgic and it decreases Lycopodium. sent4: something does cream showpiece if it is not a kind of a Swiss and is a nonperson. sent5: if something that is not antithyroid is virile it enfeoffs Pyrophorus. sent6: if something is both not a minelayer and a paddock then it is a Kendal. sent7: the apron is a Coregonus if it is not ideographic and it is tuberculate. sent8: if the apron is both not a Genoese and categoric then it is natriuretic. sent9: if the apron is non-Genoese but it is greater then it decreases Culicidae. sent10: there exists something such that if it is a Valmy and it is a kind of a Genoese then it is septic. sent11: there exists something such that if it is not a hecatomb and it is inconstant then it is categoric. sent12: if that something is both a Valmy and not non-Genoese is not wrong then it is septic. sent13: if the apron is a kind of a Valmy and is Genoese it is septic. sent14: if something does not decrease xenophobia but it is geodetic that it does not decrease hardinggrass is not right. sent15: something is semiterrestrial if it is not interior and is a front. sent16: the fact that the apron is a kind of the hecatomb if the apron does not raffle and is a gum-lac is true. sent17: if something is not a Valmy but Genoese it is septic. sent18: there is something such that if it is not a kind of a Camelot and it is a kind of a Sax it is categoric. sent19: if the cant is non-septic a naphazoline then it is geodetic. sent20: something is a minelayer if it is not an official and it is geodetic. ; $proof$ = 
sent17 -> int1: the apron is septic if it is not a Valmy and it is Genoese.; int1 -> hypothesis; __DISPROVED__