that there exists something such that if it is bright then it is not a chevrotain and it does not reprise integument is false.
sent1: there is something such that if it is a propaedeutic it is not awkward. sent2: the integument is not a chevrotain if the fact that it is not non-bright hold. sent3: if that the integument is bright is not false then it is not a chevrotain and reprises integument. sent4: there is something such that if it is bright that it does not reprise integument is not false. sent5: if the integument is a kind of a Conyza then it is a kind of a fetology and is not a Sarcochilus. sent6: if the regulator is a chevrotain the fact that it is illegitimate and it is not a reflex is not false. sent7: the fact that something is not a kind of a chevrotain and it does not reprise integument is not wrong if it is bright.
sent7 -> int1: the integument is not a chevrotain and it does not reprise integument if it is bright.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is bright then it is not a chevrotain and it does not reprise integument is false. ; $context$ = sent1: there is something such that if it is a propaedeutic it is not awkward. sent2: the integument is not a chevrotain if the fact that it is not non-bright hold. sent3: if that the integument is bright is not false then it is not a chevrotain and reprises integument. sent4: there is something such that if it is bright that it does not reprise integument is not false. sent5: if the integument is a kind of a Conyza then it is a kind of a fetology and is not a Sarcochilus. sent6: if the regulator is a chevrotain the fact that it is illegitimate and it is not a reflex is not false. sent7: the fact that something is not a kind of a chevrotain and it does not reprise integument is not wrong if it is bright. ; $proof$ = 
sent7 -> int1: the integument is not a chevrotain and it does not reprise integument if it is bright.; int1 -> hypothesis; __DISPROVED__