the fact that there exists something such that if it does not contest then it is not ectomorphic is false.
sent1: something is not ectomorphic if it does contest. sent2: the watercolorist is not unwearable if it is not a literalness. sent3: there exists something such that if the fact that it is not a contest is correct it is ectomorphic. sent4: if something is not a contest then it is not ectomorphic. sent5: there exists something such that if it is a Poecilogale that it is not a Abidjan hold. sent6: if the napkin is not a contest it is not a cyclicity. sent7: the watercolorist does not bleep if it is not ectomorphic.
sent4 -> int1: the watercolorist is not ectomorphic if it does not contest.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not contest then it is not ectomorphic is false. ; $context$ = sent1: something is not ectomorphic if it does contest. sent2: the watercolorist is not unwearable if it is not a literalness. sent3: there exists something such that if the fact that it is not a contest is correct it is ectomorphic. sent4: if something is not a contest then it is not ectomorphic. sent5: there exists something such that if it is a Poecilogale that it is not a Abidjan hold. sent6: if the napkin is not a contest it is not a cyclicity. sent7: the watercolorist does not bleep if it is not ectomorphic. ; $proof$ = 
sent4 -> int1: the watercolorist is not ectomorphic if it does not contest.; int1 -> hypothesis; __DISPROVED__